Automatic Construction of Java Programs from Functional Program Specifications
International journal of advanced computer science and applications/International journal of advanced computer science & applications