Fresco

An object-oriented specification language.

"Refinement in Fresco", in Object Oriented Specification Case Studies, K. Lano et al eds, Prentice-Hall, 1994.