Abstract State Machines 2003 ASM 2003 (Conference... Paperback Published 21 Feb 2003 Save $0.78 RRP $61.51 $60.73 In Stock