A Theory of Modules Based on Second-Order Logic.

Weidong Chen A Theory of Modules Based on Second-Order Logic. 24-33 1987 SLP db/conf/slp/slp87.html#Chen87