Computer programming and formal systems. - Braffort, P. (Paul); Hirschberg, D. (David) (Amsterdam : North-Holland Pub. Co., 1967)
Imprint covered by label: New York, Humanities Press.
Includes bibliographies.
Keywords: Computer programming