Keith Hanna Neil Daeche Strongly-Typed Theory of Structures and Behaviours. 39-54 1993 conf/charme/1993 CHARME db/conf/charme/charme1993.html#HannaD93