J. L. Cheval F. Christian Sacha Krakowiak J. Montuelle Jacques Mossière An Experiment in Modular Program Design. 17-21 1977 IFIP Congress db/conf/ifip/ifip1977.html#ChevalCKMM77