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