Irma Boom, biography in books