View of A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures

Return to Article Details A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures Download Download PDF