Backus language for functional nano-devices | IEEE Conference Publication | IEEE Xplore