Correct reference to Cocchiarella's semantics