author : John C. Knight

Short works

• Preliminary Experience Using Z to Specify a Safety-Critical System. 1993. (In 7th Z User Workshop )
• Preliminary Evaluation of a Formal Approach to User Interface Specification. 1997. (In ZUM '97 )