Burstall R. M. and J. A. Goguen. The semantics of CLEAR, a specification language. In Proc. Advanced Course on Abstract Software Specifications, pages 292-332. Springer LNCS 86, 1980

Languages mentioned

• CLEAR {1976}