On flowchart theories: part II. The nondeterministic case

Floyd-Hoare logic in iteration theories

Journal of the ACM (JACM)

Normal forms for algebras of connections

Theoretical Computer Science

Normal Forms for Partitions and Relations

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques

A finite complete set of equations generating graphs

DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science

CARTESIAN STREAM TRANSFORMER COMPOSITION

Fundamenta Informaticae