Ingrid Neumann: Deduktion in Vererbungsnetzen. Shaker Karlsruhe Institute of Technology, Germany 1998, ISBN 978-3-8265-4441-5, 1-210