A simple specification language combining processes, time and data - Fokkink, Willem J. 1965- (1992)