TY - RPRT TI - A Formalization of Social Requirements for Human Interactions with Service Protocols AU - Willy Picard PY - 2012 DO - 10.1016/j.ins.2013.02.005 UR - https://arxiv.org/abs/1111.5493 ID - 1111.5493 ER -