https://9lib.org/document/ozl0962z-space-grammar-preliminaries.html