Proefschrift Technische Universiteit Eindhoven
A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing
A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing / Laurentius Michiel Gerardus Feijs