TOPLAS 2(3) July 1980
(1980)
()
ACM Transactions on Programming Languages and Systems (TOPLAS)
Apt, Krzysztof R.; de Roever Nissim and Willem P. (1980)
Apt, Krzysztof R.; de Roever Nissim and Willem P. "A Proof System for Communicating Sequential Processes"
Casanova, Marco R. and Bernstein, Phillip A. (1980)
Casanova, Marco R. and Bernstein, Phillip A. "A Formal System for Reasoning about Programs Accessing a Relational Database" pp386-414