system Design and Analysis using Abstract State Machines (1999)

by E High-level Börger
Venue:In Current Trends in Applied Formal Methods(FM-Trends98), number 1641 in LNCS