Stephen J. Garland, David C. Luckham
On the Equivalence of Schemes
STOC, 1972.
@inproceedings{STOC-1972-GarlandL, author = "Stephen J. Garland and David C. Luckham", booktitle = "{Proceedings of the Fourth Annual ACM Symposium on Theory of Computing}", doi = "10.1145/800152.804897", pages = "65--72", publisher = "{ACM}", title = "{On the Equivalence of Schemes}", year = 1972, }