Journal of the IGPL (Imperial College ; Max-Planck-Institut für Informatik, 1995)