Kosta Dosen Zoran Petric The Maximality of Cartesian Categories. 137-144 2001 47 Math. Log. Q. 1 http://dx.doi.org/10.1002/1521-3870(200101)47:1<137::AID-MALQ137>3.0.CO;2-F db/journals/mlq/mlq47.html#DosenP01