System specification by cyclic causality constraints - Stehr, Mark-Oliver (Univ. Hamburg, Fachbereich Informatik, 1998)