This document provides specifications for two programming projects. The first part specifies a generic stack class called StackUMUC that uses an array or ArrayList as a backing data structure and includes common stack methods like push, pop, peek, etc. It also specifies a driver class to test StackUMUC for different data types. The second part specifies using the StackUMUC class to build a Lisp verifier program with a GUI that checks the balance of parentheses in Lisp code and displays the results.