Broy, M.; F. Dederichs, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. Summary of Case Studies in Focus - a Design Method for Distributed Systems. Technical Report SFB 342/3/92 A, Technische Universitat Miinchen, 1992

Languages mentioned

• FOCUS {1992} Algebraic specification system