chas@ihuxe.UUCP (Charles Lambert) (05/15/85)
I tried to mail this response to the original questioner, but our Post program couldn't find the his machine..... To the best of my knowledge, AIDA was developed at the request of the U.S. Navy, for high-integrity military programming, so there ought to be a wealth of information about it here. Charlie Lambert AT&T Bell Labs Naperville, IL.