Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes. Using Abstract State Machines at Microsoft: A Case Study. In Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele, editors, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings. Volume 1912 of Lecture Notes in Computer Science, pages 367-379, Springer, 2000. [doi]
Abstract is missing.