Principles of computation - Calingaert, Peter (Addison-Wesley, 1965)