``` % pandoc -f ris -t csljson TY - BOOK ID - Chang_Keisler_Model_Theory AU - Chang, C. C. AU - Keisler, H. Jerome PY - 1990 ET - 3 TI - Model Theory PU - North-Holland Press PP - Amsterdam KW - model theory KW - logic ER - TY - JOUR AU - Shannon, Claude E. PY - 1948 DA - July TI - A Mathematical Theory of Communication T2 - Bell System Technical Journal SP - 379 EP - 423 VL - 27 ER - TY - JOUR T1 - On computable numbers, with an application to the Entscheidungsproblem A1 - Turing, Alan Mathison JO - Proc. of London Mathematical Society VL - 47 IS - 1 KW - decidability KW - computability SP - 230 EP - 265 Y1 - 1937 ER - ^D [ { "author": [ { "family": "Keisler", "given": "H. Jerome" }, { "family": "Chang", "given": "C. C." } ], "edition": "3", "id": "Chang_Keisler_Model_Theory", "issued": { "date-parts": [ [ 1990 ] ] }, "keyword": "logic, model theory", "publisher-place": "Amsterdam", "title": "Model Theory", "type": "book" }, { "author": [ { "family": "Shannon", "given": "Claude E." } ], "container-title": "Bell System Technical Journal", "id": "Shannon_1948", "issued": { "date-parts": [ [ 1948 ] ] }, "page": "379-423", "title": "A Mathematical Theory of Communication", "type": "article-journal", "volume": "27" }, { "author": [ { "family": "Turing", "given": "Alan Mathison" } ], "container-title": "Proc. of London Mathematical Society", "id": "Turing_1937", "issue": "1", "issued": { "date-parts": [ [ 1937 ] ] }, "keyword": "computability, decidability", "page": "230-265", "title": "On computable numbers, with an application to the Entscheidungsproblem", "type": "article-journal", "volume": "47" } ] ```