Analyzing games by Boolean matrix iteration. - Thomas Ströhlein; Ludwig Zagler (Discret. Math., 1977)