Distributed Database Management Model and Validation. - Masahiro Tsuchiya; Michael P. Mariani; James D. Brom (IEEE Trans. Software Eng., 1986)