U process


 * Dutch: U Theorie
 * Wikipedia: https://en.wikipedia.org/wiki/U-procedure_and_theory_U