%A Suad Alagic
%T Relational database technology
%S Texts and Monographs in computer science
%I Springer-Verlag
%C New York
%K book
%D 1986
%P 259

%A Suad Alagic
%A Michael A. Arbib
%T The design of well-structured and correct programs
%S Texts and Monographs in computer science
%I Springer-Verlag
%C New York
%K book
%D 1978
%P 292

%A M.M. Botvinnik
%T Computers in chess - solving inexact search problems
%S Springer series in symbolic computation
%I Springer-Verlag
%C New York
%K book
%D 1984
%P 158

%A K. Christian
%T A guide to Modula-2
%S Texts and Monographs in computer science
%I Springer-Verlag
%C New York
%K book
%D 1986
%P 436

%A William F. Clocksin
%A Christopher S. Mellish
%T Programming in Prolog
%I Springer-Verlag
%C New York
%K book
%D 1981
%P 279
%K programming languages, logic programming

%A Hartmut Ehrig
%A Bernd Mahr
%T Fundamentals of algebraic specification 1
%S EATCS Monographs in theoretical computer science
%I Springer-Verlag
%C New York
%K book
%D 1985
%P 321

%A N. Francez
%T Fairness
%S Texts and Monographs in computer science
%I Springer-Verlag
%C New York
%K book
%D 1986
%P 295

%E Peter W. Frey
%T Chess skill in man and machine
%S Texts and Monographs in computer science
%I Springer-Verlag
%C New York
%K book
%D 1977
%P 329

%E N.E. Gibbs
%E R. Fairley
%T Software engineering education:
the educational needs of the software community
%I Springer-Verlag
%C New York
%K book
%D 1987
%P 439

%A David Gries
%T The science of programming
%S Texts and Monographs in computer science
%I Springer-Verlag
%C New York
%K book
%D 1981
%P 366

%A P. Hibbard
%A A. Hisgen
%A J. Rosenberg
%A Mary Shaw
%T Studies in Ada style
%I Springer-Verlag
%C New York
%K book
%D 1981
%P 104
%K programming languages

%A Kathleen Jensen
%A Niklaus Wirth
%T Pascal user manual and report
%D 1975
%P 167

%A H. Ledgard
%A M. Marcotty
%T The world of programming languages
%S Texts and Monographs in computer science
%I Springer-Verlag
%C New York
%K book
%D 1986
%P 360

%A Henry Ledgard
%T Ada
%I Springer-Verlag
%C New York
%K book
%D 1981
%P 358
%K programming languages
%X An introduction to the Ada Reference Manual (July 1980 version)

%A John W. Lloyd
%T Foundations of logic programming
%S Springer series in symbolic computation
%I Springer-Verlag
%C New York
%K book
%D 1984
%P 124

%A E.G. Manes
%A M.A. Arbib
%T Algebraic approaches to program semantics
%S Texts and Monographs in computer science
%I Springer-Verlag
%C New York
%K book
%D 1986
%P 352

%A J.T. Schwartz
%A R.B.K. Dewar
%A E. Dubinsky
%A E. Schonberg
%T Programming with sets: an introduction to SETL
%S Texts and Monographs in computer science
%I Springer-Verlag
%C New York
%K book
%D 1986
%P 493

%E Mary Shaw
%T Alphard: Form and Content
%I Springer-Verlag
%C New York
%K book
%D 1981
%P 321
%K programming languages

%E Mary Shaw
%T The Carnegie-Mellon curriculum for undergarduate computer science
%I Springer-Verlag
%C New York
%K book
%D 1985
%P 198

%A William M. Waite
%A Gerhard Goos
%T Compiler construction
%S Texts and Monographs in computer science
%I Springer-Verlag
%C New York
%K book
%D 1984
%P 446