Nelson H. Weiderman Ada 9X Validation. 113-118 1992 TRI-Ada http://doi.acm.org/10.1145/143557.143698 db/conf/sigada/triada92.html#Weiderman92