This document, as WG-2015.15, has been approved by the Machinery Working Group in May 2015 Pubblichiamo...