and Order in Algorithmics (1992)