LECTURE NOTES IN COMPUTER SCIENCE (Springer-Verlag, Berlin, 1994)