Rob Allen stated the simple problem and organized the discussion. Axel van Lamsweerde provided the extended specification linked to the problem statement.
Updated Halloween 95 by Mary Shaw Comments to maintainer