Susan Stepney.
Formal Design Methods.

1989.

Comment:

This is a contracted book chapter prepared for Butterworth's Computer Engineer's Reference Book; the book was never published.

@unpublished(Stepney:1989:FormalDesignMethods,
  author = "Susan Stepney",
  title = "Formal Design Methods",
  note = "(unpublished book chapter)",
  year = 1989
)