Title: Rudiments of [mu]-calculus
Subjects: Machine theory, Fixed point theory, Lattice theory, Monotonic functions, Algebraic logic