Ordered Linear Spaces by Graham Jameson