Abstract machines

ID: abstract-machines

New to topics? Read the docs here!