1. J.C.M. Baeten, W.P. Weijland, Process Algebra, Cambridge Tracts in Theoretical Computer Science, Vol. 18, Cambridge University Press, Cambridge, 1990.
2. M. Bednarczyk, Categories of asynchronous systems, Ph.D. Thesis, Computer Science, University of Sussex, Brighton, 1987. Available at 〈ftp://ftp.ipipan.gda.pl/marek/phd.ps.gz〉.
3. M. Bednarczyk, Hereditary history preserving bisimulation, or what is the power of the future perfect in program logics, Technical Report, Polish Academy of Sciences, Gdansk, 1991. Available at 〈ftp://ftp.ipipan.gda.pl/marek/historie.ps.gz〉.
4. Concurrent bisimulations in Petri nets;Best;Acta Inform.,1991
5. Flow event structures and flow nets;Boudol,1990