K - A Rewriting-Based Framework for Computations (rosu-2007-tr-c).pdf 2.4 MB