Cafe an industrial-strength algebraic formal method - Futatsugi, Kokichi.; Tamai, T.; Nakagawa, A. T. (Elsevier, 2000)
Selected papers from a symposium held in Numazu, April 1998.