KEYLINE: Software Productivity Tools for Program Design, Implementation, Documentation. - Maurizio Barioglio; G. Capella; I. Lupo; Luigi Petrone (IFIP Congress, 1986)