Warren's Abstract Machine: A Tutorial Reconstruction

Model Checking Abstract State Machines

Abstracting Away the Machine: The History of the FORTRAN Programming Language (FORmula TRANslation)

Abstract State Machines: A Method for High-Level System Design and Analysis

Art as Abstract Machine: Ontology and Aesthetics in Deleuze and Guattari (Studies in Philosophy)