(1)
Roeper, T. How the Emergence of Propositions Separates Strict Interfaces from General Interface. SuB 1, 15, 55-78.