System F Software.

Vol. IV, No. 9 A Journal of Rigorous Engineering Anno Domini 2026