Philippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage: Application de la strucuturation des systéme à la conception interne du système GEMAU. Symposium on Programming 1974: 280-297