Computer programming and formal systems - Braffort, P. (Paul); Hirschberg, D. (David) (Amsterdam : North-Holland Pub., 1963)
Keywords: Computer programming