Principles of Maude (1996)

by Clavel Eker, M. Clavel, S. Eker, J. Meseguer