The Formal Specification of Oberon (1997)

by Philipp W Kutter, Alfonso Pierantonio
Venue:Journal of Universal Computer Science