Reasoning in the system-level view
This book contains lemmas that come in useful in both the marking and non-marking sub-views of the system-level view.
