Software Design Representation Using Abstract Process Networks. - Leon J. Mekly; Stephen S. Yau (IEEE Trans. Software Eng., 1980)

A Logic Programming Approach to Requirements Modelling and Automated Test Generation. - Leon J. Mekly; Marjorie Passini Yuhas (ICLP, 1993)