The evaluation transformer model of reduction and its correctness (1991)

by G L Burn
Venue:In TAPSOFT ’91 (also Imperial College report DOC 90/19