Several results in program size complexity | IEEE Conference Publication | IEEE Xplore