Mark-Oliver Stehr.
System Specification by Cyclic Causality Constraints.
Bericht FBI-HH-B-210/98, Fachbereich Informatik, Universität
Hamburg, 1998.
@TECHREPORT{Stehr98b, AUTHOR = {Stehr, Mark-Oliver}, INSTITUTION = {Fachbereich Informatik, Universit{\"a}t Hamburg}, NUMBER = {FBI-HH-B-210/98}, TITLE = {{System Specification by Cyclic Causality Constraints}}, TYPE = {Bericht}, YEAR = 1998 }