Elod Knuth

• Visual Database Systems, II
• Computer-Aided Specification Techniques