Semi-automatic program construction from specifications using library modules | IEEE Journals & Magazine | IEEE Xplore