Roland Kaschek A little theory of abstraction. 75-92 2004 conf/modellierung/2004 Modellierung db/conf/modellierung/modellierung2004.html#Kaschek04