Return to Issue Details The diagram as abstract machine Download Download PDF