A calculational theory of pers as types (1992)

by Graham Hutton, Ed Voermans