Malcolm Wallace Colin Runciman Extending a Functional Programming System for Embedded Applications. 73-96 1995 25 Softw., Pract. Exper. 1 db/journals/spe/spe25.html#WallaceR95