Partial Evaluation - Practice And Theory by Manhattan, Ks & Usa; T. Mogensen