Thomas E. Shields. Ada semantic interface specification (ASIS) working group session. In Judah Mogilensky, Brad Balfour, editors, Proceedings of the Tenth Annual Washington Ada Symposium on Ada - Ada's Role in Software Engineering, WADAS 1993, McLean, Virginia, USA, June 28 - July 1, 1993. pages 155-157, ACM, 1993. [doi]
Abstract is missing.