Victor N. Kasyanov. Tools and Techniques of Annotated Programming. In Dieter Hammer, editor, Compiler Compilers, Third International Workshop on Compiler Construction, CC 90, Schwerin, Germany, October 22-26, 1990, Proceedings. Volume 477 of Lecture Notes in Computer Science, pages 117-131, Springer, 1990.
Abstract is missing.