Search results

Lecture Notes in Computer Science. Vol. 5520. pp. 57–99. doi:10.1007/978-3-642-03153-3_2. ISBN 978-3-642-03152-6. Archived (PDF) from the original on April...

Berlin, Heidelberg: Springer, pp. 57–99, doi:10.1007/978-3-642-03153-3_2, ISBN 978-3-642-03153-3, retrieved 2024-01-18 Barendegt, Henk (April 1991). "Introduction...