A formalisation of design methods : a lambda-calculus approach to system design with an application to text editing [article]

LMG Loe Feijs, FEJ Frans Kruseman Aretz, JA Jan Bergstra
1990
doi:10.6100/ir324749 fatcat:jgws4v7lz5bpdigaxkezwue2uy