Some ordered sets in Computer Science (1982)

by D S Scott