Muskens, Reinhard  (1989) A Relational Formulation of the Theory of Types.  [Journal (Paginated)]