On sets of numbers recognized by push-down automat | IEEE Conference Publication | IEEE Xplore