Nets, Terms And Formulas by E-.R. Olderog & Ernst-Rudiger Olderog