@inproceedings(Asperti:2008,
 author       = {Andrea Asperti},
 year         = {2008},
 title        = {The {I}ntensional {C}ontent of {R}ice's {T}heorem},
 booktitle    = {Proceedings of the 35th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2008)},
 doi          = {10.1145/1328438.1328455},
)
@book(Birkhoff:lattice,
 author       = {Garrett Birkhoff},
 year         = {1940},
 title        = {Lattice Theory},
 series       = {Colloquium Publications},
 volume       = {25},
 publisher    = {American Mathematical Society},
)
@book(Gratzer:genlattice,
 author       = {George Gr{\"a}tzer},
 year         = {2003},
 title        = {General Lattice Theory},
 edition      = {second},
 publisher    = {Birkh{\"a}user},
)
@book(JonesCC,
 author       = {Neil D. Jones},
 year         = {1997},
 title        = {Computability and Complexity, from a Programming Perspective},
 publisher    = {MIT press},
)
@inproceedings(MS-Dice,
 author       = {J.-Y. Moyen and J. G. Simonsen},
 year         = {2016},
 title        = {More intensional versions of {R}ice's {T}heorem},
 editor       = {D. Mazza},
 booktitle    = {Developments in Implicit Computational Complexity, DICE'16},
 address      = {Eindhoven, Netherlands},
)
@article(Myhill-Shepherdson:rice-shapiro,
 author       = {John R. Myhill and John Cedric Shepherdson},
 year         = {1955},
 title        = {Effective operations on partial recursive functions},
 journal      = {Zeitschrift f{\"u}r mathematische {L}ogik und {G}rundlagen der {M}athematik},
 volume       = {1},
 pages        = {310--317},
 doi          = {10.1002/malq.19550010407},
)
@article(nerode1958,
 author       = {Anil Nerode},
 year         = {1958},
 title        = {Linear Automaton Transformations},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {9},
 number       = {4},
 pages        = {pp. 541--544},
 doi          = {10.1090/S0002-9939-1958-0135681-9},
 url          = {http://www.jstor.org/stable/2033204},
)
@article(Ore42,
 author       = {{\O}ystein Ore},
 year         = {1942},
 title        = {Theory of equivalence relations},
 journal      = {Duke Mathematical Journal},
 volume       = {9},
 number       = {3},
 pages        = {573--627},
 doi          = {10.1215/S0012-7094-42-00942-6},
)
@book(Pap94,
 author       = {Christos H. Papadimitriou},
 year         = {1994},
 title        = {Computational Complexity},
 publisher    = {Addison-Wesley},
)
@article(Rice,
 author       = {Henry Gordon Rice},
 year         = {1953},
 title        = {Classes of {R}ecursively {E}numerable {S}ets and {T}heir {D}ecision {P}roblems.},
 journal      = {Transactions of the American Mathemathical Society},
 volume       = {74},
 pages        = {358--366},
 doi          = {10.1090/S0002-9947-1953-0053041-6},
)
@incollection(RivalStanford:algpart,
 author       = {Ivan Rival and Miriam Stanford},
 year         = {1992},
 title        = {Algebraic Aspects of Partition Lattices},
 editor       = {Neil White},
 booktitle    = {Matroid Applications},
 series       = {Encyclopedia of Mathematics and its Applications},
 volume       = {40},
 publisher    = {Cambridge University Press},
 pages        = {106--122},
 doi          = {10.1017/CBO9780511662041.006},
)
@article(Shapiro:rice-shapiro,
 author       = {Normann Shapiro},
 year         = {1956},
 title        = {Degrees of computability},
 journal      = {Transactions of the {AMS}},
 volume       = {82},
 pages        = {281--299},
 doi          = {10.1090/S0002-9947-1956-0085187-3},
)