author : Peter T. Breuer

Short works

• Towards Correct Executable Semantics for Z. 1994. (In 8th Z User Workshop )