Mark Dawson Animating LU. 70-81 1993 conf/imperial/1993 Theory and Formal Methods db/conf/imperial/imperial1993.html#Dawson93