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