Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101)

Andreas R. Blass, Egon Börger, Yuri Gurevich
2002
doi:10.4230/dagsemrep.336 fatcat:hshupdreufbhpke3hgybxix5pa