Satish R. Thatte: Coercive Type Isomorphism. FPCA 1991: 29-49