_id,doi,title 3353,10.1145/1985342.1985345,A theory of synchronous relational interfaces