@book(pabook,
 author       = "J. C. M. Baeten and T. Basten and M. A. Reniers",
 year         = "2010",
 title        = "Process Algebra: Equational Theories of Communicating Processes",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "50",
 publisher    = "Cambridge University Press",
)
@techreport(report-concur,
 author       = "J. C. M. Baeten and D. A. van Beek and B. Luttik and J. Markovski and J. E. Rooda",
 year         = "2010",
 title        = "Partial Bisimulation",
 type         = "SE Report",
 number       = "10-04",
 institution  = "Eindhoven University of Technology",
 note         = "Available from \texttt {http://se.wtb.tue.nl}.",
)
@inproceedings(acc2011,
 author       = "J. C. M. Baeten and D. A. van Beek and B. Luttik and J. Markovski and J. E. Rooda",
 year         = "2011",
 title        = "A Process-Theoretic Approach to Supervisory Control Theory",
 booktitle    = "Proceedings of ACC 2011",
 publisher    = "IEEE",
 pages        = "4496--4501",
)
@book(katoen-modelchecking,
 author       = "C. Baier and J.-P. Katoen",
 year         = "2008",
 title        = "Principles of Model Checking",
 publisher    = "MIT Press",
)
@article(bustan,
 author       = "D. Bustan and O. Grumberg",
 year         = "2003",
 title        = "Simulation-based minimization",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "4",
 pages        = "181--206",
)
@book(Cassandras,
 author       = "C. Cassandras and S. Lafortune",
 year         = "2004",
 title        = "Introduction to discrete event systems",
 publisher    = "Kluwer Academic Publishers",
)
@article(fernandez,
 author       = "J.-C. Fernandez",
 year         = "1990",
 title        = "An implementation of an efficient algorithm for bisimulation equivalence",
 journal      = "Science of Computer Programming",
 volume       = "13",
 number       = "2-3",
 pages        = "219--236",
 doi          = "10.1016/0167-6423(90)90071-K",
)
@article(partitionpair,
 author       = "R. Gentilini and C. Piazza and A. Policriti",
 year         = "2003",
 title        = "From Bisimulation to Simulation: Coarsest Partition Problems",
 journal      = "Journal of Automated Reasoning",
 volume       = "31",
 number       = "1",
 pages        = "73--103",
 doi          = "10.1023/A:1027328830731",
)
@article(glabbeek,
 author       = "R. J. van Glabbeek",
 year         = "2001",
 title        = "The linear time{--}branching time spectrum {I}",
 journal      = "Handbook of Process Algebra",
 pages        = "3--99",
)
@inproceedings(ploeger,
 author       = "R. J. van Glabbeek and B. Ploeger",
 year         = "2008",
 title        = "Correcting a Space-Efficient Simulation Algorithm",
 booktitle    = "Proceedings of CAV",
 series       = "LNCS",
 volume       = "5123",
 publisher    = "Springer",
 pages        = "517--529",
 doi          = "10.1007/978-3-540-70545-1_49",
)
@inbook(mcrl2,
 author       = "J. F. Groote and A. H. J. Mathijssen and M. A. Reniers and Y. S. Usenko and M. J. van Weerdenburg",
 year         = "2009",
 title        = "Process Algebra for Parallel and Distributed Processing",
 chapter      = "Analysis of distributed systems with {mCRL2}",
 pages        = "99--128",
 publisher    = "Chapman \& Hall",
)
@inproceedings(henzingersimulation,
 author       = "M. R. Henzinger and T. A. Henzinger and P. W. Kopke",
 year         = "1995",
 title        = "Computing Simulations on Finite and Infinite Graphs",
 booktitle    = "Proceedings of FOCS 1995",
 publisher    = "IEEE",
 pages        = "453--462",
)
@inproceedings(FMDS2011,
 author       = "J. Markovski",
 year         = "2011",
 title        = "Saving Time in a Space-Efficient Simulation Algorithm",
 booktitle    = "Proceedings of FMDS/QSIC 2011",
 doi          = "10.1109/QSIC.2011.26",
)
@misc(website,
 author       = "J. Markovski",
 year         = "2012",
 title        = "{Partial bisimulation minimization}",
 howpublished = "\texttt {\relax \fontsize {9}{11}\selectfont \abovedisplayskip 8\p@ plus2\p@ minus4\p@ \abovedisplayshortskip \z@ plus\p@ \belowdisplayshortskip 4\p@ plus2\p@ minus2\p@ \def \leftmargin \leftmargini \parsep 2.5\p@ plus1.5\p@ minus\p@ \topsep 5\p@ plus2\p@ minus5\p@ \itemsep 2.5\p@ plus1.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 4\p@ plus2\p@ minus2\p@ \parsep 2\p@ plus\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip http://sites.google.com/site/jasenmarkovski}",
)
@article(paigetarjan,
 author       = "R. Paige and R. E. Tarjan",
 year         = "1987",
 title        = "Three Partition Refinement Algorithms",
 journal      = "SIAM Journal on Computing",
 volume       = "16",
 number       = "6",
 pages        = "973--989",
 doi          = "10.1137/0216062",
)
@article(rwsupervisor,
 author       = "P. J. Ramadge and W. M. Wonham",
 year         = "1987",
 title        = "Supervisory Control of a Class of Discrete Event Processes",
 journal      = "SIAM Journal on Control and Optimization",
 volume       = "25",
 number       = "1",
 pages        = "206--230",
 doi          = "10.1137/0325013",
)
@article(efficient-ranzato,
 author       = "F. Ranzato and F. Tapparo",
 year         = "2010",
 title        = "An efficient simulation algorithm based on abstract interpretation",
 journal      = "Information and Computation",
 volume       = "208",
 pages        = "1--22",
 doi          = "10.1016/j.ic.2009.06.002",
)
@techreport(coalgebra,
 author       = "J. J. M. M. Rutten",
 year         = "1999",
 title        = "Coalgebra, concurrency, and control",
 type         = "SEN Report",
 number       = "R-9921",
 institution  = "Center for Mathematics and Computer Science, Amsterdam, The Netherlands",
)