A ComplexSpecification is a ki ...... ll, Simons, and Hayashi 2000].
@eng