Computational Adequacy of the FIX-Logic (1995)

by Roy L. Crole