| [1] | ISO (1995): Prolog, Part 1: General Core,
International Standard ISO/IEC 13211-1, First Edition,
1995-06-01 https://www.iso.org/standard/21413.html |
| [2] | Wirfs-Brock, A. (2020): JavaScript: the first
20 years, Proc. ACM Program. Lang., Vol. 4, No. HOPL,
Article 77. Publication date: June 2020. https://dl.acm.org/doi/10.1145/3386327 |
| [3] | JavaScript (2020): ECMAScript® 2020 Language
Specification, 11th-Edition, Ecma In-ternational, June 2020 https://262.ecma-international.org/11.0/ |
| [4] | Hopcroft, J. E. and Karp, R. M.: A linear
algorithm for testing equivalence of finite automata.
Technical Report 71-114, University of California, 1971. https://ecommons.cornell.edu/server/api/core/bitstreams/47fc124d-2094-4f23-be59-d25fde0f9108/content |
| [5] | Schimpf, J. (2009): Proposal for ISO Prolog
with IEEE floats, ECLiPSe Prolog, Cisco Systems, Inc., 1999
– 2006, Notes and Specs https://eclipseclp.org/Specs/core_update_float.html |
| [6] |
Nisan, N. and Schocken, S. (2021): The
Elements of Computing Systems, Building a Modern Computer
from First Principles, 2nd Edition, The MIT Press, June 15,
2021 https://mitpress.mit.edu/9780262539807/the-elements-of-computing-systems/ |