John Harrison, Handbook of Practical Logic and Automated Reasoning, Cambridge University Press, 2009, ISBN 978-0-521-89957-4, chapter 4 "Equality".
•
Marc Bezem, Jan Willem Klop, Roel de Vrijer ("Terese"), Term rewriting systems, Cambridge University Press, 2003, ISBN 0-521-39115-6, Chapter 1.
operating system | Super Nintendo Entertainment System | Nintendo Entertainment System | Android (operating system) | Global Positioning System | Solar System | X Window System | Korean Broadcasting System | System of a Down | Domain Name System | Seoul Broadcasting System | North Carolina Community College System | Mutual Broadcasting System | Bulletin board system | Abstract art | system | Turner Broadcasting System | Program and System Information Protocol | Geographic information system | Ubuntu (operating system) | Tokyo Broadcasting System | Federal Reserve System | abstract art | Youth system | Embedded system | solar system | Seigneurial system of New France | Interstate Highway System | Fedora (operating system) | Trans-Alaska Pipeline System |
Yasuhiro Suzuki has modeled various systems such as membrane systems, signaling pathways (P53), ecosystems, and enzyme systems by using his method, abstract rewriting system on multisets (ARMS).