Describir: Foundations of Software Science and Computation Structures