This package contains samples of JML specifications relating to sets. These examples were written and implemented by Katie Becker.