Specifications and procedures developed by Carl Tuveson