Square Koch Fractal Surface

Many fractal curves can be generated using L-systems or string-rewrite rules, in which each stage of the curve is generated by replacing each line segment with multiple smaller segments in a particular arrangement. The same technique can be extended to surfaces, where each stage is constructed by replacing each square with multiple smaller squares. This Demonstration shows an analogy of the square Koch curve (Type 1) as a three-dimensional surface.