Ordered Procedure Logic Model

A minimal model structure representing ordered procedural logic.