Strohmeier, Alfred2005-09-202005-09-202005-09-201985https://infoscience.epfl.ch/handle/20.500.14299/216691AdaA short Ada glossarytext::conference output::conference proceedings::conference paper