LEDA manual version 3.1 (1995)

by Stefan Naher