इसका टेक्स्ट मैसेज भेजे: Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop / editors, C. Hankin, I. Mackie, R. Nagarajan.