Claus Pahl Observation and Abstract Behaviour in Specification and Implementation of State-based Systems. 2001 conf/iwfm/2001 IWFM http://ewic.bcs.org/conferences/2001/5thformal/papers/paper4.htm db/conf/iwfm/iwfm2001.html#Pahl01