TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) Abramsky S. Heftet / 1991 / Engelsk
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91) Abramsky S. Heftet / 1991 / Engelsk
Handbook of Logic in Computer Science: Volume 3. Semantic Structures Abramsky S. Innbundet / 1995 / Engelsk
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures Abramsky S. Innbundet / 2001 / Engelsk
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling Abramsky S. Innbundet / 1995 / Engelsk
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures Abramsky S. Innbundet / 1992 / Engelsk
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures Abramsky S. Innbundet / 1992 / Engelsk
