Evaluate the collective function of references cited together in a given text segment.
Classify their combined role into one of the following categories: 'method', 'background', or 'result'.

Text:The use of bisimilarity in this context is particularly attractive because, as essentially shown in (Hennessy and Milner, 1985), bisimilarity provides an abstraction technique that preserves the truth and falsehood of any formula expressed in the µ-calculus (Kozen, 1983), and hence all CTL∗ (Dam,…
Category: