Specifying Weak Sets

by Jeannette M. Wing, David C. Steere