An overview of the Tatami project (2000)

by J Goguen, K Lin, G Ros¸u, A Mori, B Warinschi
Venue:Cafe: An IndustrialStrength Algebraic Formal Method