latex sources of final version of STS13 paper