Lyapunov equations by Charles Johnson