Introducing OBJ (1993)

by Joseph A. Goguen , Timothy Winkler , José Meseguer , Kokichi Futatsugi , Jean-Pierre Jouannaud
Citations:123 - 30 self