Derivation and Presentation of an Abstract Program Space for Ada.

Paul A. Bailes Paul Burnim Murray Chapman Dan B. Johnston Derivation and Presentation of an Abstract Program Space for Ada. 230- 1996 conf/iwpc/1996 WPC http://computer.org/proceedings/wpc/7283/72830230abs.htm db/conf/iwpc/wpc1996.html#BailesBCJ96