System-Level Abstraction Semantics

A. Gerstlauer, D. D. Gajski, “System-Level Abstraction Semantics,” TR 02-17, July 12, 2002. download pdf