Extensional PERs - Peter J. Freyd; P. Mulry; Giuseppe Rosolini; Dana S. Scott (Inf. Comput., 1992)