Some ordered sets in computer science (1982)

by D Scott