M. Broy, M. Fuchs, T. Gritzner, B. Schatz, K. Spies, and K. St0len. Summary of Case Studies in Focus - a Design Method for Distributed Systems. Technical Report SFB 342/13/94 A, Technische Universitat Miinchen, 1994.

Languages mentioned

• FOCUS {1992} Algebraic specification system