1. Choi, T. Y.: Sequence Method for Protocol Construction. In: von Bochmann, G.; Sarikaya, B. (eds.): Protocol Specification, Testing, and Verification VII. North-Holland, Amsterdam, pp. 307-321, 1987.
2. Dorsch, J.; Ek, A.; Gotzhein, R.: SPT - The SDL Pattern Tool. In: Amyot, D.; Williams, W. (eds.), System Modeling and Analysis. LNCS 3319, Springer, pp. 50-64, 2005.
3. Annual IFIP Working Conference on formal description techniques. In 1996 it was combined with PSTV (Protocol Specification, Testing and Verification). Today it belongs to the DISCOTEC conference series. Proceedings of the FORTE conference cited here are, for instance, [Gotz 96a], [Kim 01] and [Köni 03].
4. Gotzhein, R.; Schaible, P.: Pattern-based Development of Communication Systems. Annales des Telecommunications 54 (1999) 11-12: 508-525.
5. Gotzhein, R.: Consolidating and Applying the SDL-Pattern Approach: a Detailed Case Study. Journal on Information and Software Technology (JIST) 45 (2003) 11: 727-741.