Philippe Besnard: An introduction to default logic. Symbolic computation : artificial intelligence, Springer 1989, ISBN 0387515666, pp. I-XI, 1-208