Michael von Rimscha: Universality and strong extensionality. Arch. Math. Log. 21(1): 179-193 (1981)