http://www21.in.tum.de/~brunnerj/
This is an unofficial reimagining of the Archive of Formal Proofs
Partial Order Reductionby Julian Brunner
Transition Systems and Automataby Julian Brunner
Büchi Complementationby Julian Brunner