Ludek Matyska Adriana Jergová David Toman Register Allocation in WAM. 142-156 1991 ICLP db/conf/iclp/iclp91.html#MatyskaJT91