and Kokichi Futatsugi. Semiotic redesign of a specification language, in preparation (0)

by Joseph Goguen