Winskel, G. (1985). A complete proof system for SCCS with modal assertions.
Chicago-Zitierstil (17. Ausg.)Winskel, Glynn. A Complete Proof System for SCCS with Modal Assertions. Cambridge, 1985.
MLA-Zitierstil (9. Ausg.)Winskel, Glynn. A Complete Proof System for SCCS with Modal Assertions. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.