added additional references for GXL and TXL semantics