Using rewriting logic to interoperate architectural description languages (I (1997)

by J Meseguer, C Talcott
Venue:and II). Lectures at the Santa Fe and Seattle DARPA-EDCS Workshops, March and