1. A Discipline of Programming;Dijkstra,1976
2. On the criteria to be used in decomposing systems into modules;Parnas;Commun. ACM.,1972
3. A Primer for Program Composition Notation;Chandy,1990
4. M. Vargas-Vera, “Using prolog techniques to guide program composition,” PhD. Thesis, Edinburgh University, 1995. https://www.dai.ed.ac.uk/papers/documents/pt9508.html.
5. Composing specifications;Martín;ACM. T. Progr. Lang. Sys.,1993