Conjugation of Specifications