This package contains samples of JML specifications relating to stacks of various sorts.