Burghard von Karger A calculational approach to reactive systems. 139-161 2000 37 Sci. Comput. Program. 1-3 db/journals/scp/scp37.html#Karger00