Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. - Peter Grønning; Thomas Qvist Nielsen; Hans Henrik Løvengreen (FSTTCS, 1990)

Stepwise Development of a Distributed Load Balancing Algorithms. - Peter Grønning; Thomas Qvist Nielsen; Hans Henrik Løvengreen (WDAG, 1990)