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