Title: A software system for specifying design procedures
First published: 1998