Formal Specifications as Reusable Frameworks.

David Garlan, Norman M. Delisle

Browse the full FM paper archive.