Ahooja, Ramesh R (1991) The design of distributed systems using partial constraints. PhD thesis, Concordia University.