Semantic Essence of AsmL. (2004)

by Y Gurevich, B Rossman, W Schulte