An Algorithm for Matching Nondeterministic Services with Operating Guidelines - Massuthe, Peter 1976-; Wolf, Karsten (Informatik-Berichte, 2006)