Back
@techreport{Kutter02a, author = {Philipp W. Kutter}, title = {The Formal Definition of Anlauff's eXtensible Abstract State Machines}, institution = {ETH Zürich}, number = {136}, month = {Jun}, year = {2002} }