"A formalisation of design methods: A lambda-calculus approach to systems ..."

John Traxler (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics