"Refinement in Fresco", in Object Oriented Specification Case Studies, K. Lano et al eds, P-H 1993.

Languages mentioned

• Fresco {1993}