A Common Compiler for LOTOS and SDL Specifications. - Carl Binding; Wiet Bouma; Michel Dauphin; Günter Karjoth; Yan Yang (IBM Syst. J., 1992)

The European Telecommuncations Research and Development Program RACE and its Software Project SPECS. - Michel Dauphin; Maria Manuela Marques; Alvin P. Mullery; Pierre Rodier (IBM Syst. J., 1992)

SPECS: Formal methods and techniques for telecommunications software development. - Michel Dauphin (Microprocess. Microprogramming, 1992)

Specs: Making Formal Techniques Usable. - Michel Dauphin; Georges Fonade; Rick Reed (IEEE Softw., 1993)