Cousot, P. review of Grief 1977

(1978) ACM Computing Reviews 19(12) December 1978  

Languages mentioned Greif formal specification language {1975}