Title: Writing formal and structured methods for the development of reliable software
First published: 1998