Computer Programming and Formal Systems - Braffort P. and Hirschberg D. (North-Holland Publishing Company, 1970)