Jalote, Pankaj Functional Refinement and Nested Objects for Object-Oriented Design - 264-270 p. Subjects--Topical Terms: AdaNested AnalysisStepwise