"Cremers, A B" Theoretical Computer Science - \\198200ENGGPSX - Springer 1982 New York - x+365p includes index and biblioraphy ISBN: 387119736