## Colin Sterling

*A Complete Modal Proof System for a Subset of SCCS*

TAPSOFT, 1985.

@inproceedings{CAAP-1985-Sterling, author = "Colin Sterling", booktitle = "{Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}", doi = "10.1007/3-540-15198-2_16", isbn = "3-540-15198-2", pages = "253--266", publisher = "{Springer}", title = "{A Complete Modal Proof System for a Subset of SCCS}", year = 1985, }