Gillian Hill A Logical Approach to System Construction. 30-47 1995 conf/eurocast/1995 EUROCAST db/conf/eurocast/eurocast1995.html#Hill95 http://dx.doi.org/10.1007/BFb0034748