Opening book details…
New Evaluations of Class Invariants by Arcane is a document available to read on EtoBox.