Grigore Rosu, Akira Mori, and Bogdan Warinschi. An overview of the tatami project (2000)

by Joseph Goguen, Kai Lin
Venue:In Kokichi Futatsugi, Tetsuo Tamai, and Ataru Nakagawa, editors, Cafe: An Industrial-Strength Algebraic Formal Method