Extensions to Barrington's M-program model | IEEE Conference Publication | IEEE Xplore