Wolfgang May
-
XASM - An Extensible, Component-Based ASM Language
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications