Multiple views of an executable software specification language. - Yukuh Tung; Amir A. Khwaja; Joseph E. Urban (J. Syst. Softw., 1993)