Must have common semantics. So assume first order logic. Model types as one-place predicates. Kleene's notation..., Z , prolog,....
Renaming to couple and instanciate specifications.
Distinguish defined from undefined terms.
statements equivalent to
for all p:Projects, one m:EMPLOYEE(m leads p).member(x,y) := x ∈ y
sequences modeled as totally order sets of events.
Net{member::@event, preceeds::@(event,event)... initial, final,...}
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]