Use Case Functionality Mathematical Description Information on the use case for determining WPTT canonicity can be found in the thesis by Starr.