PakCat catalogue record Computer programming and formal systems By Braffort, P. Bibliographic details PublisherNorth-Holland Pub. Co. Publication placeAmsterdam Publication year1963 LanguageEnglish Material typeBook Physical descriptionvi, 161 p. Additional authorsHirschberg, D. SubjectsComputer programming.