TY  - SER
AU  - Jalote, Pankaj
TI  - Functional Refinement and Nested Objects  for  Object-Oriented Design
KW  - Ada
KW  - Nested Analysis
KW  - Stepwise
ER  -