Title: Abstraction and specification with Modula-2
First published: 1992