Hennessy-Milner classes and process algebra by M.J. Hollenberg