An overview of the tatami project (2000)

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