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:In [11] and [12], it is argued that describing an algorithm using a transition system instead of pseudocode makes it easier to prove its properties, compare it with other algorithms, and design new algorithms.
Category: