Applied Logic its use and implementation as a programming tool - Warren, David H. (1977)
Keywords: Hochschulschrift