Recursive and Explicit Formulae for the Degree of Freedom of Cata-Condensed Benzenoid Hydrocarbons - Hansen, Pierre; Zheng, Maolin (Groupe d’études et de recherche en analyse des décisions, 1994)