Title: Mathematical foundations of computer science 1978
First published: 1978