Jacques Cohen: Computer-Aided Micro-Analysis of Programs. ICSE 1979: 79-84