Peter Dolog Valentino Vranic Mária Bieliková Representing Change By Aspect. 77-83 2001 36 SIGPLAN Notices 12 db/journals/sigplan/sigplan36.html#DologVB01