Generic facilities in object-oriented ASMs (2000)

by A V Zamulin
Venue:Abstract State Machines: Theory and Applications (ASM'2000), volume 1912 of Lecture Notes in Computer Science