Distributed Object Architectures with CORBA: 21 (SIGS: Managing Object Technology, Series Number 21)
Introduction to Clustering Large and High Dimensional Data
Program Logics for Certified Compilers
Thinking Functionally with Haskell
