Title: Theoretical foundations for information representation and constraint specification
Subjects: Systems engineering