S. Abramsky

• Algebraic specification of communication protocols
• Handbook of Logic in Computer Science
• TAPSOFT '91
• Theoretical Foundations of VLSI Design
• Handbook of Logic in Computer Science Volume 5
• Patterns in the structure of mammalian communities