Abstract State Machines 2003 ASM 2003 (Conference... Paperback Published 21 Feb 2003 Save $0.79 RRP $62.44 $61.65 In Stock