Chirimar, J. Proof Theoretic Approach to Specification Languages. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1995.

Languages mentioned

• Forum {1997}