M.: GenSpect process algebra (2004)

by van Weerdenburg