Formal Specification and Development of Control System Input/Output.

Jonathan Jacky Formal Specification and Development of Control System Input/Output. 95-108 1992 conf/zum/1992 Z User Workshop db/conf/zum/zum1992.html#Jacky92