OOSPEC: An Executable Object-Oriented Specification Language. - Mohammad N. Paryavi; William J. Hankley (ACM Conference on Computer Science, 1995)