Browser does not support script.
Smith, Alexander Ian (2015). On the design of finite-state type systems. University of Birmingham. Ph.D.