OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
A formalisation of design methods : a [lambda] -calculus approach to systems design with an application to text editing by L. M. G. Feijs. ISBN 0131061135. Published by Ellis Horwood in 1993. Publication and catalogue information, links to buy online and reader comments.
![A formalisation of design methods : a [lambda] -calculus approach to systems design with an application to text editing](http://covers.openlibrary.org/b/id/5032607-M.jpg)