TuCSoN communication language: abstract tuples

references