Object-Oriented Software Specification in Programming Language Design and Implementation.

Barrett R. Bryant, Viswanathan Vaidyanathan

Browse the full COMPSAC paper archive.