Parameterized reachability trees for predicate/transition nets - Lindqvist, Markus (Finn. Acad. of Technology, 1989)
Zugl.: Helsinki, Univ., Diss.