Ken Slonneger Visualizing Action Semantics. 81-88 1995 ACM Conference on Computer Science http://doi.acm.org/10.1145/259526.259541 db/conf/acm/csc95.html#Slonneger95