Victor N. Kasyanov Tools and Techniques of Annotated Programming. 117-131 1990 conf/cc/1990 CC db/conf/cc/cc90.html#Kasyanov90 http://dx.doi.org/10.1007/3-540-53669-8_78