Protocols By Invariants by Anneke A. Schoone