Environments and tools for ADA (SETA2) Proceedings of the 2nd international symposium 28-31 January 1992 Washington D.C. ACM SIGAda, ACM SIGMOD,ACM SIGPLAN,ACM SIGSOFT, IEEE CS TCSE. ACM Ada Letters, Special Fall 1994, volume XIV