Takao Shimomura, Quan Liang Chen, Muneo Takahashi. Extensible Syntax-Oriented Verifier with Context-Dependent Recursive Verification. International Journal of Software Engineering and Knowledge Engineering, 20(2):233-251, 2010. [doi]
Abstract is missing.