23 1 10 a formal approach to software development Partsch, Helmut A. Additional Author mixed material 3540523561 Berlin Springer 1990 3540523561.jpg Orfali, Robert Additional Author mixed material 047124578X New York John Wiley 1998 047124578X.jpg a designer's text based on a generic risc Feldman, James M. Additional Author mixed material 0070204535 New York McGraw-Hill 1994 0070204535.jpg Berson, Alex Additional Author mixed material 0070050767 New York McGraw-Hill 1992 0070050767.jpg Michaelis, Mark Additional Author mixed material 0072120452 Berkeley Osborne 2000 0072120452.jpg Mueller, John Paul Additional Author mixed material 007212086X Berkeley Osborne 2000 007212086X.jpg Halabi, Sam Additional Author mixed material 157870233X Indianapolis Cisco 2001 157870233X.jpg Mano, M. Morris Additional Author mixed material 8769233510 New Jersey Prentice Hall 1988 8769233510.jpg Dennis, Alan Additional Author Wixom, Barbara Haley Additional Author Roth, Roberta M. (Roberta Marie) Additional Author mixed material 047172257X New Jersey John wiley & sons 2006 047172257X.jpg.jpg architecure reference Agarwal, Rakesh K. Additional Author mixed material 013245176X New Jersey Prentice Hall 1991 013245176X.jpg