Kim Guldstrand Larsen Bent Thomsen Partial Specifications and Compositional Verification. 15-32 1991 88 Theor. Comput. Sci. 1 db/journals/tcs/tcs88.html#LarsenT91