ODA and POSIX: label liaisons | IEEE Conference Publication | IEEE Xplore