Pošalji tekstualnu poruku: Protocols by invariants / Anneke A. Schoone.