A. U. Shankar;S. S. Lam
-;-
Specifying modules to satisfy interfaces: a state transition system approach
Distributed Computing - Special issue: Specification of concurrent systems