@mastersthesis{JyrinkiMsc,
author = {Jyrinki, Tero},
school = {Helsinki University of Technology, Department of Electrical and Communications Engineering},
title = {Dynamical analysis of {S}{D}{L} programs with Predicate/Transition nets},
year = {1997},
}