Return to Article Details On a procedural platform for the theory of algorithms Download Download PDF