Computer programming and formal systems. - Braffort, P.; Hirschberg, D. (North-Holland Publishing Company, 1970)
Keywords: 68