Because nobody beleives me that anyone doing computer
science needs/uses something as silly as sets and this
wierd notation for defining sets, I cut this paragraph
out of:
Cheer-Sun Yang and Lori Pollock, ``An All-du-path Coverage Algorithm for Testing Shared memory Parallel Programs'', The Sixth Asian Test Symposium, November 1997.
This is a research paper on an algorithm for automated
testing of parallel computer programs. This is very
much a "systems" area of research, rather than a
"theory" area of research, yet those pesky sets crop up
none the less.