Bjorner, D. Software engineering 3: domains requirements and software design / By D. Bjorner. - New Delhi : Springer India Pvt Ltd, 2007. - xxx,766 p.; HB 24.5 cm. Subjects--Topical Terms: Conceptual frameworkOn defining and on definitions Dewey Class. No.: 005.368 / BJOD