MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE