↑ જૅફ્રી રિચર્ડ. 1991 ફૉર્મલ લૉજિકઃ ઇટ્સ સ્કોપ ઍન્ડ લિમિટ્સ , (ત્રીજી આવૃત્તિ). ન્યૂ યૉર્કઃ મૅકગ્રો-હિલ:1.