Nestra H. Iteratively defined transfinite trace semantics and program slicing with respect to them / Harmel Nestra. - Tartu : Tartu University Press, 2006. - 118, [1] p.: ill. - ( Dissertationes mathematicae Universitatis Tartuensis ;49: )