Glossary of Terms for the General Scheduling Problem