A formalisation of design methods : a [lambda] -calculus approach to systems design with an application to text editing /
Feijs, L. M. G.(Loe M. G.)
New York, N.Y. ; London : Ellis Horwood,
1993.