Denotational semantics and its algebraic derivation for an event-driven system-level language

From MaRDI portal