• The art of Prolog

    by Leon Sterling, Ehud Yehuda Shapiro
    1986

  • Specifying software

    by R. D. Tennent
    2001

  • The art of computer programming

    by Donald Knuth
    1968

  • Structure and Interpretation of Computer Programs (SICP)

    by Harold Abelson, Gerald Jay Sussman, Julie Sussman
    1985

  • Mathematische Grundlagen Der Informatik

    by Peter Bachmann
    1992