Choice quantification in process algebra
Choice quantification in process algebra / Sebastiaan Pascal Luttik