Foundations of computer science - Advanced Course on the Foundations of Computer Science () (Math. Centrum, 1975)