A propaedeutic on logic for object-oriented systems analysis and design | IEEE Conference Publication | IEEE Xplore