ASM (Abstract State Machines) is a leading formal method. The approach was formerly known as Evolving Algebras.
- E. Börger and R. Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag, 2003. ISBN 3-540-00702-4 (order from Amazon USA or Amazon UK).
- Abstract State Machines website
- Abstract State Machine Tutorial by Egon Börger↑
- Wikipedia: Abstract state machines
- Wikipedia: Abstract State Machine Language