Engberg, U. H. & Larsen, K. S. (1995). Efficient Simplification of Bisimulation Formulas. In E. Brinksma, R. Cleaveland, K. G. Larsen, T. Margaria & B. Steffen (Eds.), TACAS '95: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop (pp. 111-132). Springer LNCS.
Rattan, S. (1995). Genes for ageing. In Proceedings of the EU Conference on The Human Genome in Europe: Scientific, Ethical and Social Aspects. (pp. 32-36). Académie Royale de Médecine de Belgique..