Chen, Montangero, 1992. Compositional refinements in multiple blackboard systems, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-55253-7_6