Simon S. Lam, A. Udaya Shankar. Specifying Modules to Satisfy Interfaces: A State Transition System Approach. Distributed Computing, 6(1):39-63, 1992.
@article{LamS92,
title = {Specifying Modules to Satisfy Interfaces: A State Transition System Approach},
author = {Simon S. Lam and A. Udaya Shankar},
year = {1992},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/LamS92},
cites = {0},
citedby = {0},
journal = {Distributed Computing},
volume = {6},
number = {1},
pages = {39-63},
}