Journal of graph theory (John Wiley & Sons, 1977)