Ordered Linear Spaces door Graham Jameson