An Overview of the Tatami Project (2000)

by Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi