A Formalisation of Design Methods: Lambda-calculus Approach to System Design with an Application to Text Editing (Ellis Horwood Series in Computers and Their Applications) - Hardcover

Feijs, L. M. G.

 
9780131061132: A Formalisation of Design Methods: Lambda-calculus Approach to System Design with an Application to Text Editing (Ellis Horwood Series in Computers and Their Applications)