Binary coded graphs --- reference manuals of the bcg tools (1995)

by H Garavel, R Mateescu, R Ruffiot, L-P Tock