Modelling software by Control Flow and Data Flow
Angelic and Demonic Semantics of Nondeterministic Choice
Demonic Nondeterminism over Unified Control/Data Flow Graph
Demonic Semantics of Method Combination
Demonic Semantics of Introspection
Demonic Semantics of Backquote Syntax in Macroexpansion