  Lattice molecule models are proposed in order to study statistical mechanics
of glass transition in finite dimensions. Molecules in the models are
represented by hard Wang tiles and their density is controlled by a chemical
potential. An infinite series of irregular ground states are constructed
theoretically. By defining a glass order parameter as a collection of the
overlap with each ground state, a thermodynamic transition to a glass phase is
found in a stratified Wang tiles model on a cubic lattice.
