Back
@article{KuPi97d, author = {Philipp W. Kutter and Alfonso Pierantonio}, title = {The Formal Specification of Oberon}, journal = {Journal of Universal Computer Science}, number = {5}, pages = {443--503}, volume = {3}, month = {May}, year = {1997} }