Hutton, G., & Voermans, E. (1992). A Calculational Theory of Pers as Types. Department of Computing Science