Ronald Everett Bartlett
The Univ. of Memphis
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems