1. Kawato, N., Saito, T. and Uehara, T.: “Design and Verification of Large Scale Computers by Using DDL”, Proc. 16th Design Automation Conf. (1979) 360.
2. Uehara, T., Maruyama, F., Saito, T. and Kawato, N.: “DDL Verifier”, Proc. of 5th Int. Conf. on Computer Hardware Description Languages and Their Applications (1981) 51.
3. Winston, P. H.: “Artificial Intelligence” (Addison-Wesley, 1977).
4. Nii, H. P. and Aiello, N.: “AGE: A Knowledge-based Program for Building Knowledge-based Programs”, Proc. IJCAI-79 (1979) 645.
5. Stefic, M. J.: “Planning with Constraints” (Stanford University, 1980).