@techreport{Rodrigo2017, author = {Readi-Nasser Rodrigo}, title = {The Reduction Oriented Calculus mj}, institution = {Fachbereich Informatik}, series = {Interner Bericht des Fachbereich Informatik}, number = {293}, pages = {30}, year = {2017}, url = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-50016}, }