A new proof of Reiterman's theorem Grzegorz Jarzembski (1994) Cahiers de Topologie et Géométrie Différentielle Catégoriques
A remark on topological spaces, grids, and topological systems J. Adamek, M.-C. Pedicchio (1997) Cahiers de Topologie et Géométrie Différentielle Catégoriques