J. 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. Information \& Software Technology, 36(1):58-59, 1994. [doi]
Abstract is missing.