Keijo Ruohonen Event Detection for ODEs and Nonrecursive Hierarchies. 358-371 1994 conf/birthday/1994salomaa Results and Trends in Theoretical Computer Science db/conf/birthday/salomaa1994.html#Ruohonen94