Affeldt, R., Nowak, D., & Yamada, K. (2009). Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. Electronic Communications of the EASST, 23. https://doi.org/10.14279/tuj.eceasst.23.316