Fixed Points in Computer Science