Sidney C. Bailin. An object-oriented specification method for Ada. In Joseph P. Johnson, Helen Gill, Ed Seidewitz, editors, Proceedings of the fifth Washington Ada Symposium on Ada, WADAS 1988, Tyson's Corner, Virginia, USA, 1988. pages 139-150, ACM, 1988. [doi]
Abstract is missing.