B Krieg-Bruckner
-
An environment for Ada software development based on formal specification
ACM SIGAda Ada Letters