Software Tools for Micro-analysis of Programs. - Jacques Cohen; Aline Weitzman (Softw. Pract. Exp., 1992)