The K Primer (version 3.3) http://k-framework.org (2011)

Cached

Download Links

by Traian Florin , Andrei Arusoaie , David Lazar , Chucky Ellison , Dorel Lucanu , Grigore Ros