M. Walicki

• M. Walicki and M. Broy. Structured Specifications and Implementation of Nondeterministic Data Types. Nordic Journal of Computing, 2(3):358-395, Fall 1995. Abstract, References, etc.

• Yngve Lamo and Michal Walicki. Specification of Parameterized Programs -- Persistency Revisited. Nordic Journal of Computing, 8(3):298-323, Fall 2001. Abstract, etc.

Shortcuts: