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