Executing ASM specifications with AsmGofer (1999)

by J Schmid