Broy, M., F. Dederichs, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. The Design of Distributed Systems ? An Introduction to Focus (Revised Version). Technical Report SFB 342/2/92 A, Technische Universitat Miinchen, 1993.

Languages mentioned

• FOCUS {1992} Algebraic specification system