Maude: Specification and Programming in Rewriting Logic (2001)

by M. Clavel , F. Durán , S. Eker , P. Lincoln , N. Martí-Oliet , J. Meseguer , J. F. Quesada
Citations:211 - 66 self