Introducing OBJ (2000)

by J Goguen, T Winkler, J Meseguer, K Futatsugi, J-P Jouannaud
Venue:In Software