@incollection{freek1991b,
	Author = {S. Mauw and Freek Wiedijk},
	Booktitle = {Algebraic Methods II: Theory, Tools and Applications},
	Date-Added = {2014-11-15 22:14:10 +0000},
	Date-Modified = {2014-11-15 22:16:01 +0000},
	Editor = {Jan A. Bergstra and L.M.G. Feijs},
	Pages = {341--361},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Specification of the transit node in PSFd},
	Volume = {490},
	Year = {1991}}

{"_id":"u3wT724PMi7Kz8rwB","bibbaseid":"mauw-wiedijk-specificationofthetransitnodeinpsfd-1991","author_short":["Mauw, S.","Wiedijk, F."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["S."],"propositions":[],"lastnames":["Mauw"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Algebraic Methods II: Theory, Tools and Applications","date-added":"2014-11-15 22:14:10 +0000","date-modified":"2014-11-15 22:16:01 +0000","editor":[{"firstnames":["Jan","A."],"propositions":[],"lastnames":["Bergstra"],"suffixes":[]},{"firstnames":["L.M.G."],"propositions":[],"lastnames":["Feijs"],"suffixes":[]}],"pages":"341–361","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Specification of the transit node in PSFd","volume":"490","year":"1991","bibtex":"@incollection{freek1991b,\n\tAuthor = {S. Mauw and Freek Wiedijk},\n\tBooktitle = {Algebraic Methods II: Theory, Tools and Applications},\n\tDate-Added = {2014-11-15 22:14:10 +0000},\n\tDate-Modified = {2014-11-15 22:16:01 +0000},\n\tEditor = {Jan A. Bergstra and L.M.G. Feijs},\n\tPages = {341--361},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {Specification of the transit node in PSFd},\n\tVolume = {490},\n\tYear = {1991}}\n\n","author_short":["Mauw, S.","Wiedijk, F."],"editor_short":["Bergstra, J. A.","Feijs, L."],"key":"freek1991b","id":"freek1991b","bibbaseid":"mauw-wiedijk-specificationofthetransitnodeinpsfd-1991","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"incollection","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["specification","transit","node","psfd","mauw","wiedijk"],"title":"Specification of the transit node in PSFd","year":1991}