Program Algebra for Component Code

Jan A. Bergstra, M. E. Loots. Program Algebra for Component Code. Formal Asp. Comput., 12(1):1-17, 2000. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: