@book{1721764,
	author = {Mishkin},
	title = {Warren's Abstract Machine: A Tutorial Reconstruction},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=6267208}
}