Search results for: José Meseguer
Journal of Logic and Algebraic Programming > 2012 > 81 > 7-8 > 816-850
Journal of Logic and Algebraic Programming > 2012 > 81 > 7-8 > 929-956
Electronic Notes in Theoretical Computer Science > 2008 > 200 > 3 > 25-41