John Traxler: A formalisation of design methods: A lambda-calculus approach to systems design with an application to text editing : L Feijs Ellis Horwood (1993) 502 pp £49.95 ISBN 0 13 106113 5. Inf. Softw. Technol. 36(1): 58-59 (1994)