Stav dette: Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis.