Gisbert Dittrich Specification with Nets. 111-124 1989 conf/eurocast/1989 EUROCAST db/conf/eurocast/eurocast1989.html#Dittrich89 http://dx.doi.org/10.1007/3-540-52215-8_10