Ken Shumate Software Specification and Design with Ada: A Disciplined Approach. 118-119 1995 TRI-Ada Tutorials http://doi.acm.org/10.1145/216591.216601 db/conf/sigada/triada95-t.html#Shumate95