Efficient reducibility between programming systems (Preliminary Report)

Nancy A. Lynch, Edward K. Blum
1977 Proceedings of the ninth annual ACM symposium on Theory of computing - STOC '77  
doi:10.1145/800105.803413 dblp:conf/stoc/LynchB77 fatcat:gp5oikxiybhjbgbrkad7cd4ayq