Karl N. Levitt Lawrence Robinson Brad A. Silverberg Writing Simulatable Specifications in SPECIAL. 39-78 1979 conf/fm/1979 The Use of Formal Specification of Software db/conf/fm/fm1979.html#LevittRS79