Process algebra with guards combining Hoare logic with process algebra - Groote, Jan F. (Centrum voor Wiskunde en Informatica, 1990)