Structured Theories and Institutions (1999)

Cached

Download Links

by Francisco Durán , José Meseguer
Citations:14 - 3 self