Back
@misc{Kut96a, author = {Philipp W. Kutter}, title = {Executable Specification of Oberon Using Natural Semantics}, month = {Mar}, year = {1996} }