"The K Primer (version 3.3)."

Traian-Florin Serbanuta et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics