Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures