Model Construction for Implicit Specifications in Model Logic. - Ole Høgh Jensen; Jarl Tuxen Lang; Christian Jeppesen; Kim Guldstrand Larsen (CONCUR, 1993)