High level system design and analysis using Abstract State Machines (1999)

by E Börger
Venue:Current Trends in Applied Formal Methods (FMTrends 98), number 1641 in LNCS