Computer programming and formal systems - Braffort, P.; Hirschberg, D. (Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company., 1970)