Title: The logic and design of computer programs
First published: 2005
Subjects: Logic programming, Computer programming
LC classification: QA76.63 .M465 2005