Egon Börger The Origins and the Development of the ASM Method for High Level System Design and Analysis. 2-74 2002 8 J. UCS 1 http://www.jucs.org/jucs_8_1/the_origins_and_the db/journals/jucs/jucs8.html#Borger02