Last update: Sun Oct 15 02:15:49 MDT 2017
@Article{Mauw:1990:PSF,
author = "S. Mauw and G. J. Veltink",
title = "A process specification formalism",
journal = j-FUND-INFO,
volume = "13",
number = "2",
pages = "85--139",
month = jun,
year = "1990",
CODEN = "FUMAAJ",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Mon Mar 7 06:24:58 MST 2016",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo1990.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae;
http://dl.acm.org/citation.cfm?id=J291",
}