Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
The Foundations of Program Verification (Series in Computer Science) (German Edition)
Programming by Case Studies: An Algol Primer (Introductory Monographs in Mathematics)
Acceleration de la convergence en analyse numerique (Lecture Notes in Mathematics, 584) (French Edition)
International Symposium on Programming 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Variation Totale D'une Fonction (Lecture Notes in Mathematics, 413) (French Edition)
Nombres Transcendants (Lecture Notes in Mathematics, 402) (French Edition)
Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Programming and Problem-solving in Algol 68
