Proceedings of the conference on TRI-Ada '94 November 1994

(1994)