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