Executable Specification of Oberon Using Natural Semantics (1996)

by P W Kutter
Venue:Term Work, ETH Zurich, implementation on the Centaur System [9