4 The Psycholoss of Everyday things 1988 Donald A. Norman1 An Introduction to Database System 1977 Chris Date
2 Fundamentals of Database Systems 1989 Ramez Elmasri Shamkant B. Navathe
1 Software Engineering Mathematics 1988 Jim Woodcock Martin Loomes
2 Structured Programming: Theory and practice 1979 Richard C. linger Harlan D, Mills
Bernard I. Witt
3 Social Process and proofs of Theorems and programs 1979 Richard A DeMillo Richard
J. Lipton Alan J. Perlis
4 Program Verification The Very Idea 1988 James H. Fetzer
33.4
BYTE
Computer Language
Datamation
Dr Dobb's Journal
IEEE Software
IEEE Computer
Communication of the Acm
American Programmer
The Software Practitioner
Software Practice and Experience