@inproceedings{STOC-1980-BorodinC,
	author        = "Allan Borodin and Stephen A. Cook",
	booktitle     = "{Proceedings of the 12th Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/800141.804677",
	pages         = "294--301",
	publisher     = "{ACM}",
	title         = "{A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation}",
	year          = 1980,
}