A practical approach to specification technology selection. - Margaret J. Davis; David R. Addleman (J. Syst. Softw., 1986)