Browser does not support script.
Strygin, Maxim (2014). Semantics and logics for signals. University of Birmingham. Ph.D.