Information Systems: Theoretical and Formal Aspects