Manfred Broy Formal Description Techniques - How Formal and Descriptive are they? 95-110 1996 conf/forte/1996 FORTE db/conf/forte/forte1996.html#Broy96