Ordered linear spaces. - Jameson Graham (1970)