On the informatics laws and deductive semantics of software | IEEE Journals & Magazine | IEEE Xplore