Formalizing Abstract Systems as Operational Logic

This document is encrypted

Decrypting…