A Review of Object-oriented Approaches in Formal Methods. - Antonio Ruiz-Delgado; David H. Pitt; Colin Smythe (Comput. J., 1995)