Yuri Gurevich (2000), Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, vol.
Enigma machine | Rage Against the Machine | Automated teller machine | Victor Talking Machine Company | Soft Machine | The Pointer Sisters | The Time Machine | Linotype machine | Vickers machine gun | DeLorean time machine | Darne machine gun | Rube Goldberg machine | MG 17 machine gun | The Wolseley Sheep Shearing Machine Company | Machine Head (band) | Machine Head | KPV heavy machine gun | slot machine | machine | ShKAS machine gun | PK machine gun | machine pistol | Love Removal Machine | Carter the Unstoppable Sex Machine | American Machine and Foundry | Zouk Machine | Wayback Machine | virtual machine | Turing machine | Tribal Machine |