Title: A Formalisation of Design Methods
First published: July 1993
Subjects: System design, Text editors (Computer programs), Computer software, Development