Formal Specification CSP description
Formal Specification: CSP processes
Education: The School as a Social Institute
Group Theory: Conjugacy & Sylow Theorems
Quantum Computation: Motivation