Wiley-Teubner series in computer science (B.G. Teubner)