Sören Holmström. A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion. Formal Asp. Comput., 1(3):242-272, 1989.
@article{Holmstrom89, title = {A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion}, author = {Sören Holmström}, year = {1989}, tags = {refinement, logic}, researchr = {https://researchr.org/publication/Holmstrom89}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {1}, number = {3}, pages = {242-272}, }