Metatheory and Operational Reasoning: Real Languages and Executable Code (2006)

Cached

Download Links

by Previous Track Record , Tom Ridge