Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W4245920554', 'doi': 'https://doi.org/10.1002/(sici)1096-908x(199701)9:1<47::aid-smr142>3.0.co;2-v', 'title': 'GOTO Removal Based on Regular Expressions', 'display_name': 'GOTO Removal Based on Regular Expressions', 'publication_year': 1997, 'publication_date': '1997-01-01', 'ids': {'openalex': 'https://openalex.org/W4245920554', 'doi': 'https://doi.org/10.1002/(sici)1096-908x(199701)9:1<47::aid-smr142>3.0.co;2-v'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1002/(sici)1096-908x(199701)9:1<47::aid-smr142>3.0.co;2-v', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4210205480', 'display_name': 'Journal of Software Maintenance Research and Practice', 'issn_l': '1040-550X', 'issn': ['1040-550X', '1096-908X'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320595', 'host_organization_name': 'Wiley', 'host_organization_lineage': ['https://openalex.org/P4310320595'], 'host_organization_lineage_names': ['Wiley'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5040859657', 'display_name': 'Paul Morris', 'orcid': 'https://orcid.org/0000-0003-0139-5262'}, 'institutions': [{'id': 'https://openalex.org/I1287521167', 'display_name': 'Lockheed Martin (United States)', 'ror': 'https://ror.org/026er9r08', 'country_code': 'US', 'type': 'company', 'lineage': ['https://openalex.org/I1287521167']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'PAUL H. MORRIS', 'raw_affiliation_strings': ['Software Technology Center, Lockheed Martin Missiles & Space, 3251 Hanover Street O/H1–41 B/255, Palo Alto, CA 94304, U.S.A.'], 'affiliations': [{'raw_affiliation_string': 'Software Technology Center, Lockheed Martin Missiles & Space, 3251 Hanover Street O/H1–41 B/255, Palo Alto, CA 94304, U.S.A.', 'institution_ids': ['https://openalex.org/I1287521167']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5078737509', 'display_name': 'RONALD A. GRAY', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I1287521167', 'display_name': 'Lockheed Martin (United States)', 'ror': 'https://ror.org/026er9r08', 'country_code': 'US', 'type': 'company', 'lineage': ['https://openalex.org/I1287521167']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'RONALD A. GRAY', 'raw_affiliation_strings': ['Software Technology Center, Lockheed Martin Missiles & Space, 3251 Hanover Street O/H1–41 B/255, Palo Alto, CA 94304, U.S.A.'], 'affiliations': [{'raw_affiliation_string': 'Software Technology Center, Lockheed Martin Missiles & Space, 3251 Hanover Street O/H1–41 B/255, Palo Alto, CA 94304, U.S.A.', 'institution_ids': ['https://openalex.org/I1287521167']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5072035007', 'display_name': 'Robert E. Filman', 'orcid': 'https://orcid.org/0000-0002-9566-5341'}, 'institutions': [{'id': 'https://openalex.org/I1287521167', 'display_name': 'Lockheed Martin (United States)', 'ror': 'https://ror.org/026er9r08', 'country_code': 'US', 'type': 'company', 'lineage': ['https://openalex.org/I1287521167']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'ROBERT E. FILMAN', 'raw_affiliation_strings': ['Software Technology Center, Lockheed Martin Missiles & Space, 3251 Hanover Street O/H1–41 B/255, Palo Alto, CA 94304, U.S.A.'], 'affiliations': [{'raw_affiliation_string': 'Software Technology Center, Lockheed Martin Missiles & Space, 3251 Hanover Street O/H1–41 B/255, Palo Alto, CA 94304, U.S.A.', 'institution_ids': ['https://openalex.org/I1287521167']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 6, 'citation_normalized_percentile': {'value': 0.560672, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 73, 'max': 75}, 'biblio': {'volume': '9', 'issue': '1', 'first_page': '47', 'last_page': '66'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Software Verification and Control', 'score': 0.9962, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, 'topics': [{'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Software Verification and Control', 'score': 0.9962, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T10260', 'display_name': 'Empirical Studies in Software Engineering', 'score': 0.9954, 'subfield': {'id': 'https://openalex.org/subfields/1710', 'display_name': 'Information Systems'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T10126', 'display_name': 'Program Analysis and Verification Techniques', 'score': 0.9927, 'subfield': {'id': 'https://openalex.org/subfields/1702', 'display_name': 'Artificial Intelligence'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [{'id': 'https://openalex.org/keywords/cobol', 'display_name': 'COBOL', 'score': 0.8595198}, {'id': 'https://openalex.org/keywords/regular-expression', 'display_name': 'Regular expression', 'score': 0.73288375}, {'id': 'https://openalex.org/keywords/goto', 'display_name': 'Goto', 'score': 0.7040647}, {'id': 'https://openalex.org/keywords/expression', 'display_name': 'Expression (computer science)', 'score': 0.65043664}, {'id': 'https://openalex.org/keywords/refactoring', 'display_name': 'Refactoring', 'score': 0.515938}, {'id': 'https://openalex.org/keywords/go/no-go', 'display_name': 'Go/no go', 'score': 0.5147462}, {'id': 'https://openalex.org/keywords/source-code-analysis', 'display_name': 'Source Code Analysis', 'score': 0.512721}, {'id': 'https://openalex.org/keywords/code', 'display_name': 'Code (set theory)', 'score': 0.4551104}], 'concepts': [{'id': 'https://openalex.org/C128595289', 'wikidata': 'https://www.wikidata.org/wiki/Q131140', 'display_name': 'COBOL', 'level': 2, 'score': 0.8595198}, {'id': 'https://openalex.org/C121329065', 'wikidata': 'https://www.wikidata.org/wiki/Q185612', 'display_name': 'Regular expression', 'level': 2, 'score': 0.73288375}, {'id': 'https://openalex.org/C114094675', 'wikidata': 'https://www.wikidata.org/wiki/Q750997', 'display_name': 'Goto', 'level': 2, 'score': 0.7040647}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6792527}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.6636089}, {'id': 'https://openalex.org/C90559484', 'wikidata': 'https://www.wikidata.org/wiki/Q778379', 'display_name': 'Expression (computer science)', 'level': 2, 'score': 0.65043664}, {'id': 'https://openalex.org/C184670325', 'wikidata': 'https://www.wikidata.org/wiki/Q512604', 'display_name': 'Loop (graph theory)', 'level': 2, 'score': 0.6167648}, {'id': 'https://openalex.org/C111335779', 'wikidata': 'https://www.wikidata.org/wiki/Q3454686', 'display_name': 'Reduction (mathematics)', 'level': 2, 'score': 0.56499076}, {'id': 'https://openalex.org/C184337299', 'wikidata': 'https://www.wikidata.org/wiki/Q1437428', 'display_name': 'Semantics (computer science)', 'level': 2, 'score': 0.56120986}, {'id': 'https://openalex.org/C177264268', 'wikidata': 'https://www.wikidata.org/wiki/Q1514741', 'display_name': 'Set (abstract data type)', 'level': 2, 'score': 0.5522195}, {'id': 'https://openalex.org/C67225533', 'wikidata': 'https://www.wikidata.org/wiki/Q7045230', 'display_name': 'Go/no go', 'level': 2, 'score': 0.5147462}, {'id': 'https://openalex.org/C48103436', 'wikidata': 'https://www.wikidata.org/wiki/Q599031', 'display_name': 'State (computer science)', 'level': 2, 'score': 0.49085265}, {'id': 'https://openalex.org/C2780451532', 'wikidata': 'https://www.wikidata.org/wiki/Q759676', 'display_name': 'Task (project management)', 'level': 2, 'score': 0.47192597}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.46057203}, {'id': 'https://openalex.org/C2776760102', 'wikidata': 'https://www.wikidata.org/wiki/Q5139990', 'display_name': 'Code (set theory)', 'level': 3, 'score': 0.4551104}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.36745846}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.1746088}, {'id': 'https://openalex.org/C119857082', 'wikidata': 'https://www.wikidata.org/wiki/Q2539', 'display_name': 'Machine learning', 'level': 1, 'score': 0.10731006}, {'id': 'https://openalex.org/C127413603', 'wikidata': 'https://www.wikidata.org/wiki/Q11023', 'display_name': 'Engineering', 'level': 0, 'score': 0.09367478}, {'id': 'https://openalex.org/C2524010', 'wikidata': 'https://www.wikidata.org/wiki/Q8087', 'display_name': 'Geometry', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C201995342', 'wikidata': 'https://www.wikidata.org/wiki/Q682496', 'display_name': 'Systems engineering', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C114614502', 'wikidata': 'https://www.wikidata.org/wiki/Q76592', 'display_name': 'Combinatorics', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1002/(sici)1096-908x(199701)9:1<47::aid-smr142>3.0.co;2-v', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4210205480', 'display_name': 'Journal of Software Maintenance Research and Practice', 'issn_l': '1040-550X', 'issn': ['1040-550X', '1096-908X'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320595', 'host_organization_name': 'Wiley', 'host_organization_lineage': ['https://openalex.org/P4310320595'], 'host_organization_lineage_names': ['Wiley'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 0, 'referenced_works': [], 'related_works': ['https://openalex.org/W4388474189', 'https://openalex.org/W4298142326', 'https://openalex.org/W3213588718', 'https://openalex.org/W3124537160', 'https://openalex.org/W3092724701', 'https://openalex.org/W3028535725', 'https://openalex.org/W2122718295', 'https://openalex.org/W2104645503', 'https://openalex.org/W1988326056', 'https://openalex.org/W1581944628'], 'abstract_inverted_index': {'Journal': [0, 714], 'of': [1, 260, 270, 283, 294, 346, 354, 383, 416, 424, 469, 476, 517, 543, 607, 631, 658, 665, 686, 715, 740, 759], 'Software': [2, 28, 74, 103, 135, 181, 210, 454, 574, 690], 'Maintenance:': [3], 'Research': [4, 12, 503], 'and': [5, 258, 262, 274, 281, 300, 317, 323, 441, 462, 492, 500, 525, 616, 651, 661, 674, 752], 'PracticeVolume': [6], '9,': [7], 'Issue': [8], '1': [9], 'p.': [10], '47-66': [11, 772], 'Article': [13], 'GOTO': [14, 330, 348, 539], 'Removal': [15], 'Based': [16], 'on': [17, 549, 636, 700], 'Regular': [18], 'Expressions': [19], 'PAUL': [20, 25, 127, 132], 'H.': [21, 26, 128, 133, 615], 'MORRIS,': [22, 129], 'Corresponding': [23, 130], 'Author': [24, 131], 'MORRIS': [27, 134], 'Technology': [29, 46, 75, 104, 136, 153, 182, 211, 691], 'Center,': [30, 47, 76, 105, 137, 154, 183, 212], 'Lockheed': [31, 48, 77, 106, 138, 155, 184, 213], 'Martin': [32, 49, 78, 107, 139, 156, 185, 214], 'Missiles': [33, 50, 79, 108, 140, 157, 186, 215], '&': [34, 51, 80, 109, 141, 158, 187, 216, 450], 'Space,': [35, 52, 81, 110, 142, 159, 188, 217], '3251': [36, 53, 82, 111, 143, 160, 189, 218], 'Hanover': [37, 54, 83, 112, 144, 161, 190, 219], 'Street': [38, 55, 84, 113, 145, 162, 191, 220], 'O/H1–41': [39, 56, 85, 114, 146, 163, 192, 221], 'B/255,': [40, 57, 86, 115, 147, 164, 193, 222], 'Palo': [41, 58, 87, 116, 148, 165, 194, 223, 731], 'Alto,': [42, 59, 88, 117, 149, 166, 195, 224, 732], 'CA': [43, 60, 89, 118, 150, 167, 196, 225], '94304,': [44, 61, 90, 119, 151, 168, 197, 226], 'U.S.A.Software': [45, 152], 'U.S.A.===Search': [62, 169], 'for': [63, 92, 121, 170, 199, 228, 314, 336, 436, 625], 'more': [64, 93, 122, 171, 200, 229], 'papers': [65, 94, 123, 172, 201, 230], 'by': [66, 95, 124, 173, 202, 231, 447], 'this': [67, 96, 125, 174, 203, 232, 295, 340], 'authorRONALD': [68, 175], 'A.': [69, 72, 176, 179, 491, 523, 579], 'GRAY,': [70, 177], 'RONALD': [71, 178], 'GRAY': [73, 180], 'U.S.A.Search': [91, 120, 198, 227], 'authorROBERT': [97, 204], 'E.': [98, 101, 205, 208, 461, 508, 565, 619], 'FILMAN,': [99, 206], 'ROBERT': [100, 207], 'FILMAN': [102, 209], 'author': [126, 233], 'First': [234], 'published:': [235], '04': [236], 'May': [237], '1999': [238], 'https://doi.org/10.1002/(SICI)1096-908X(199701)9:1<47::AID-SMR142>3.0.CO;2-VCitations:': [239], '5AboutPDF': [240], 'ToolsRequest': [241], 'permissionExport': [242], 'citationAdd': [243], 'to': [244, 266, 289, 350, 360, 389, 396, 409, 471, 537, 570, 681], 'favoritesTrack': [245], 'citation': [246], 'ShareShare': [247], 'Give': [248], 'accessShare': [249, 252], 'full': [250], 'text': [251], 'full-text': [253, 268, 292], 'accessPlease': [254], 'review': [255], 'our': [256], 'Terms': [257, 280], 'Conditions': [259, 282], 'Use': [261], 'check': [263], 'box': [264], 'below': [265, 288], 'share': [267, 290], 'version': [269, 293], 'article.I': [271], 'have': [272, 328, 429], 'read': [273], 'accept': [275], 'the': [276, 286, 351, 370, 391, 406, 414, 432, 477, 518, 544, 595, 632, 656, 666, 687, 716], 'Wiley': [277, 449], 'Online': [278], 'Library': [279], 'UseShareable': [284], 'LinkUse': [285], 'link': [287], 'a': [291, 306, 344, 356, 361, 378, 397, 410, 534, 623], 'article': [296], 'with': [297, 320], 'your': [298], 'friends': [299], 'colleagues.': [301], 'Learn': [302], 'more.Copy': [303], 'URL': [304], 'Share': [305], 'linkShare': [307], 'onEmailFacebookTwitterLinkedInRedditWechat': [308], 'Abstract': [309], 'We': [310, 428], 'present': [311], 'an': [312, 333], 'algorithm': [313, 412, 433], 'eliminating': [315, 538], 'GOTOs': [316], 'replacing': [318], 'them': [319], 'structured': [321, 399, 535], 'IF-THEN-ELSE': [322], 'loop': [324, 418, 426], 'constructs.': [325], 'Previous': [326], 'approaches': [327], 'treated': [329], 'removal': [331, 349], 'as': [332, 377], 'isolated': [334], 'problem': [335, 353], 'programming': [337], 'languages.': [338], 'In': [339], 'paper,': [341], 'we': [342], 'describe': [343], 'way': [345], 'reducing': [347], 'well-understood': [352], 'converting': [355], 'finite-state': [357], 'transition': [358], 'network': [359], 'regular': [362, 371, 392], 'expression.': [363], 'A': [364, 381], 'semantics': [365], 'is': [366, 387, 420], 'provided': [367], 'showing': [368], 'how': [369], 'expression': [372, 393], 'form': [373, 394], 'may': [374], 'be': [375], 'interpreted': [376], 'non-deterministic': [379], 'program.': [380, 400], 'set': [382], 'pattern-based': [384], 'reduction': [385], 'rules': [386], 'used': [388], 'transform': [390], 'back': [395], 'conventional': [398], 'Besides': [401], 'achieving': [402], 'greater': [403], 'conceptual': [404], 'unity,': [405], 'method': [407], 'leads': [408], 'simpler': [411], 'where': [413], 'task': [415], 'recognizing': [417], 'boundaries': [419], 'separated': [421], 'from': [422], 'that': [423], 'identifying': [425], 'exits.': [427], 'successfully': [430], 'applied': [431], 'in': [434, 474, 541, 684], 'systems': [435, 440], 're-engineering': [437], 'COBOL/IMS': [438], 'database': [439], 'assembly': [442, 628], 'language': [443], 'code.': [444], '©': [445], '1997': [446, 458], 'John': [448], 'Sons,': [451], 'Ltd.': [452], 'J.': [453, 494, 528], 'Maintenance': [455], '9:': [456], '47–66,': [457], 'References': [459], 'Ashcroft,': [460], 'Manna,': [463, 602], 'Z.': [464, 603], '(1972)': [465], "'": [466, 530, 567, 621], 'The': [467, 737], 'translation': [468], "'GOTO'": [470], "'WHILE'": [472], "programs',": [473], 'Proceedings': [475, 542, 630, 685], 'IFIP': [478], 'Conference': [479, 548, 635], '71,': [480], 'Volume': [481], '1,': [482], 'North-Holland': [483], 'Publishing': [484, 763], 'Co.,': [485, 764], 'Amsterdam,': [486], 'pp.': [487, 561, 644, 699], '250–255.': [488], 'Barrett,': [489], 'W.': [490, 509, 591, 592, 647, 748], 'Couch,': [493], 'D.': [495], '(1979)': [496], 'Compiler': [497], 'Construction': [498], 'Theory': [499, 606], 'Practice,': [501], 'Science': [502], 'Associates,': [504], 'Chicago,': [505], 'IL.': [506], 'Dijkstra,': [507], '(1968)': [510], "'GO": [511], 'TO': [512], 'statement': [513], 'considered': [514], "harmful',": [515], 'Communications': [516, 664], 'ACM,': [519, 667, 717], '11(3),': [520], '147–148.': [521], 'Erosa,': [522], 'M.': [524, 751], 'Hendren,': [526], 'L.': [527, 676, 705], '(1994)': [529], 'Taming': [531], 'control': [532], 'flow:': [533], 'approach': [536], "statements',": [540, 663], '1994': [545], 'IEEE': [546, 554], 'International': [547], 'Computer': [550, 555, 760], 'Languages,': [551, 742], 'Toulouse,': [552], 'France,': [553], 'Society': [556], 'Press,': [557, 586, 744], 'Los': [558], 'Alamitos,': [559], 'CA,': [560, 643], '229–240.': [562], 'Filman,': [563, 617], 'R.': [564, 618], '(1997)': [566], 'Applying': [568], 'AI': [569], 'software': [571], "renovation',": [572], 'Automated': [573], 'Engineering,': [575, 638], '(to': [576], 'appear).': [577], 'Gibbons,': [578], '(1985)': [580], 'Algorithmic': [581], 'Graph': [582], 'Theory,': [583], 'Cambridge': [584], 'University': [585], 'New': [587, 610], 'York,': [588, 611], 'NY.': [589, 612], 'Gibbs,': [590], '(1996)': [593, 620], "'Battling": [594], 'enemy': [596], "within',": [597], 'Scientific': [598], 'American,': [599], '274(4),': [600], '34–36.': [601], '(1974)': [604], 'Mathematical': [605], 'Computation,': [608], 'McGraw-Hill,': [609], 'Morris,': [613], 'P.': [614, 754], 'Mandrake:': [622], 'tool': [624], 'reverse-engineering': [626], 'IBM': [627], "code',": [629], '3rd': [633], 'Working': [634], 'Reverse': [637], '8–10': [639], 'Nov': [640], '1996,': [641], 'Monterey,': [642], '57–66': [645], 'Peterson,': [646], 'W.,': [648, 671], 'Kasami,': [649], 'T.,': [650], 'Tokura,': [652], 'N.': [653, 755], '(1973)': [654], "'On": [655], 'capabilities': [657], 'while,': [659], 'repeat,': [660], 'exit': [662], '16(8),': [668], '503–512.': [669], 'Polak,': [670], 'Bickmore,': [672], 'T.': [673], 'Nelson,': [675], '(1995)': [677], "'Reengineering": [678], 'IMS': [679], 'databases': [680], 'relational': [682], "systems',": [683], 'Seventh': [688], 'Annual': [689], 'Conference,': [692], 'Utah': [693], 'State': [694], 'University,': [695], 'Logan,': [696], 'UT,': [697], '19': [698], 'CD-ROM': [701], 'at': [702], '/track11/dp4bbick.doc.': [703], 'Ramshaw,': [704], '(1988)': [706], "'Eliminating": [707], 'go': [708], "to's": [709], 'while': [710], 'preserving': [711], 'program': [712], "structure',": [713], '35(4),': [718], '893–920.': [719], 'Reasoning': [720, 728], 'Systems': [721, 729], '(1990)': [722], 'REFINE': [723], "User's": [724], 'Guide,': [725], 'Version': [726], '3.0,': [727], 'Inc.,': [730], 'CA.': [733], 'Winskel,': [734], 'G.': [735], '(1993)': [736], 'Formal': [738], 'Semantics': [739], 'Programming': [741], 'MIT': [743], 'Cambridge,': [745], 'MA.': [746, 766], 'Wulf,': [747], 'A.,': [749], 'Shaw,': [750], 'Hilfinger,': [753], '(1981)': [756], 'Fundamental': [757], 'Structures': [758], 'Science,': [761], 'Addison-Wesley': [762], 'Reading,': [765], 'Citing': [767], 'Literature': [768], 'Volume9,': [769], 'Issue1January': [770], '1997Pages': [771], 'ReferencesRelatedInformation': [773]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W4245920554', 'counts_by_year': [{'year': 2023, 'cited_by_count': 1}], 'updated_date': '2024-09-15T08:04:21.361389', 'created_date': '2022-05-12'}