"Fifth International Workshop on Abstract State Machines, ASM 1998, ..."

Uwe Glässer, Peter H. Schmitt (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics