Introduction To Computable Languages & Abstract Machines - Parkes(Alan) (1996)
20