"A type-centric framework for specifying heterogeneous, large-scale, ..."

Georg Jung, John Hatcliff (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics