Relation Calculus : in Martin-Löf Type Theory - Carlos Gonzalía. (Göteborg University, 2002)