Continously generated fixed points in Pomega. - Felipe Bracho (Fundam. Informaticae, 1980)

Continously Generated Fixed Points. - Felipe Bracho (Theor. Comput. Sci., 1989)

From Domains to Automata with Concurrency. - Felipe Bracho; Manfred Droste (ICALP, 1993)

Labelled Domains and Automata with Concurrency. - Felipe Bracho; Manfred Droste (Theor. Comput. Sci., 1994)

Dependence Orders for Computations of Concurrent Automata. - Felipe Bracho; Manfred Droste; Dietrich Kuske (STACS, 1995)

Representation of Computations in Concurrent Automata by Dependence Orders. - Felipe Bracho; Manfred Droste; Dietrich Kuske (Theor. Comput. Sci., 1997)