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

by Pierre Collette
Venue:TAPSOFT'93: Theory and Practice of Software Development, volume 668 of Lecture Notes in Computer Science