1. Abramsky, S., Jung, A.: Domain theory. In Abramsky, S., Gabbay, D.M., Maibaum, T.S.E., eds.: Handbook of Logic in Computer Science, Volume 3. Clarendon Press (1994) 1-168
2. Iteration and coiteration schemes for higher-order and nested datatypes
3. Amadio, R., Bruce K., Longo, G.: The finitary projection model for second order lambda calculus and the solutions to higher order domain equations. In Proceedings of the First Annual IEEE Symposium on Logic in Computer Science (1986) 122-130.
4. Benl, H., Berger, U., Schwichtenberg, H., Seisenberger, M., Zuber, W.: Proof theory at work: Program development in the Minlog system. In Bibel, W., Schmitt, P., eds.: Automated Deduction - A Basis for Applications. Volume II of Applied Logic Series. Kluwer, Dordrecht (1998) 41-71
5. Total sets and objects in domain theory