1
Abstract State Machines - Theory and Applications [E-Book] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings /