Algebraic Higher-Abstraction for Software Refactoring Automation. - Iaakov Exman; Alexey Nechaev (SEKE, 2020)

Quantum Software Models: Software Density Matrix is a Perfect Direct Sum of Module Matrices. - Iaakov Exman; Alexey Nechaev (SEKE, 2022)