1. Saleh, K., Probert, R.: Automatic synthesis of protocol specifications from service specifications. In: International Phoenix Conference on Computers and Communications, pp. 615–621. IEEE, New York (1991)
2. Probert, R.L., Saleh, K.: Synthesis of communication protocols: survey and assessment. Trans. Comput. 40(4), 468–476 (1991)
3. Carchiolo, V., Faro, A., Giordano, D.: Formal description techniques and automated protocol synthesis. Inf. Softw. Technol. 34(8), 513–521 (1992)
4. Saleh, K.: Synthesis of communications protocols: an annotated bibliography. SIGCOMM Comput. Commun. Rev. 26(5), 40–59 (1996)
5. Koza, J.R.: Genetic programming: on the programming of computers by means of natural selection. In: Complex Adaptive Systems. MIT Press, Cambridge (1992)