Lecture notes in computer science [Vol. 70] - Kahn, Gilles (Berlin Springer-Verlag, 1984)