Dahl, O.-J. "Verifiable programming" International Series in Computer Science Addison-Wesley, 1992.
(1992)
Ole-Johan Dahl
Languages mentioned
ABEL
{1979} OO Language with specification semantics