This is a contracted book chapter prepared for Butterworth's Computer Engineer's Reference Book; the book was never published.
full chapter : PDF 24MB
@unpublished(Stepney:1989:FormalDesignMethods, author = "Susan Stepney", title = "Formal Design Methods", note = "(unpublished book chapter)", year = 1989 )