Roelf Johannes (Roel) Wieringa (born 1952) is a Dutch computer scientist who was a professor of Information Systems at the University of Twente, specialized in the "integration of formal and informal specification and design techniques".[1][2]
:0
was invoked but never defined (see the help page).