Cafe as an extensible specification environment (1994)

by K Futatsugi, T Sawada
Venue:Proc. of the Kunming International CASE Symposium