Вот чего не знаю - того не знаю. Поищите связанное с теорией графов. А по поводу НАГ у Страуструпа должно быть введение, если я еще помню правильно - иерархия типов (в том числе, классов) образует НАГ.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)