K. Banach, M. Bunemann, J. Huser, и L. Pott. Pflugers Arch, 423 (3-4):
245-50(мая 1993)Banach, K Bunemann, M Huser, J Pott, L Research Support, Non-U.S.
Gov't Germany Pflugers Archiv : European journal of physiology Pflugers
Arch. 1993 May;423(3-4):245-50..
R. Banach, F. Arbab, G. Papadopoulos, и J. Glauert. Formal Methods and Component Interaction @ ICALP, том 66 из Electronic Notes in Theoretical Computer Science, стр. 1-15. Elsevier, (2002)