|
@techreport{Kut98a, author = {Philipp W. Kutter}, title = {An ASM Macro Language for Sets}, institution = {Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich}, number = {34}, month = {Jan}, year = {1998} }