T. S. E. Maibaum

• Handbook of Logic in Computer Science Volume 5