Invariants for Non-Hierarchical Object Structures

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit. Invariants for Non-Hierarchical Object Structures. Electronic Notes in Theoretical Computer Science, 195:211-229, 2008. [doi]

Abstract

Abstract is missing.