Executing ASM specifications with AsmGofer’. Web pages at http://www.tydo.de/AsmGofer (1999)

by J Schmid