Writing Simulatable Specifications in SPECIAL. - Karl N. Levitt; Lawrence Robinson; Brad A. Silverberg (The Use of Formal Specification of Software, 1979)

Programming with Grammars: An Exercise in Methodology-Directed Language Design. - Eric C. R. Hehner; Brad A. Silverberg (Comput. J., 1983)