Branching programs and binary decision diagrams : theory and applications - Wegener, Ingo (Philadelphia: Society for Industrial and Applied Mathematics, 2000)
Keywords: Branching processes