@book{57000, author = {MAURICE H. HALSTEAD}, title = {ELEMENTS OF SOFTWARE SCIENCE}, publisher = {ELSEVIER}, year = {1977}, address = {USA} }