1. Abramsky S, Gabbay D, Maibaum T (eds) (1994) Handbook of logic in computer science. Claredon Press, Oxford
2. Althusser L (1971) Ideology and ideological state apparatus. In: Brewster B (ed) Lenin and philosophy, and other essays. Monthly Review Press, New York, pp 127–186
3. Balzer W, Moulines CU, Sneed JD (1987) An architectonic for science—the structuralist program. Reidel, Dordrecht
4. Bourdieu P, Passeron JC (1990) Reproduction in education, society and culture. Sage, Beverley Hills
5. Bowen K, Kowalski R (1982) Amalgamating language and metalanguage in logic programming. In: Clark K, Ake-Trnlund S (eds) Logic programming. Academic Press, New York, pp 153–173