Q:

The ___________ of a formal specification language is often based on a syntax that is derived from standard set theory notation and predicate calculus ??

 A) set B) sequence C) syntactic domain D) semantic domain

26