Title: Logical Foundations of Computer Science
First published: June 1994