1. Asm Gofer.
http://www.tydo.de/AsmGofer/
.
2. Hugs98.
http://www.haskell.org/hugs/
.
3. Mike Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, and Margus Veanes. Using ASMs at Microsoft: A case study. Technical report, Microsoft Research, Redmond, USA, 2000.
4. Egon Börger, Peter Päppinghaus, and Joachim Schmid. Report on a practical ap-plication of ASMs in software design. In This Volume.
5. Don Box. Essential COM. Addison-Wesley, Reading, MA, 1998.