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