The Semantics of the C Programming Language, volume 702 (1993)

by Y Gurevich, J K Huggins
Venue:of LNCS