K-machine Krivine's machine (K-machine) as described in the book Abstract Computing Machines by Kluge page 105-106