Refinement of Print’s Model in Designing a Ladderized Program | IEEE Conference Publication | IEEE Xplore