1 - Computer programming and formal systemsBraffort, Paul (1923-....) (Ed.) / Hirschberg, David (Ed.)Cote : [05 BRA 63]