selected publications chapter Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. Lecture Notes in Computer Science. 311-325. 1999