Application of the composition principle to Unity-like specifications (1993)

by P Collette
Venue:in: TAPSOFT’93, LNCS 668, Springer-Verlag