https://profilpelajar.com/Ada_Semantic_Interface_Specification