If you have information about this name, share it in the comments area below!
Books about Olderog:
Verification of Sequential and Concurrent Programs by Apt, Krzysztof, de Boer, Frank S., Olderog, Ernst-Rüdiger... by Apt (Oct 1, 0010)
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical... by E. -R. Olderog (Oct 25, 1990)
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports) (v. 1) [Hardcover]  (Author)... (2007)
[ [ [ Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship[ NETS, TERMS AND FORMULAS... by E. R. Olderog (Aug 22, 2005)