Cirovic, Branislav (2000) Equivalence relations of synchronous schemes. Doctoral (PhD) thesis, Memorial University of Newfoundland.