Transcript Ada Semantic Interface Specification (ASIS) An Interface