Smalltalk, Concurrent Pascal, Oberon, Concurrent C, ML, Eiffel, *Lisp, Algol, Ada, and many more on the library section available to Master/Phd students.
Very interesting. I'm very disappointed at the state of my faculty's library (FCUL). Even landmark works by the most influential of computer scientists are missing, being in their place endless copies of mindless "for dummies" garbage from the 90s and 00s.