Representing and reasoning with operational semantics (2006)

by Dale Miller
Venue:Proceedings of IJCAR: International Joint Conference on Automated Reasoning, volume 4130 of LNAI