- iConference, page 585-586. ACM, (2012)
- SIGPLAN Notices 37(12):25-34 (2002)
- TRETS 4(4):32 (2011)
- Erlang Workshop, page 24-33. ACM, (2002)
- ITC, page 914-925. IEEE Computer Society, (1988)
- ITC, page 878-886. IEEE Computer Society, (1997)
- ITC, page 433. IEEE Computer Society, (1997)
- ITC, page 538-547. IEEE Computer Society, (1996)
- ITC, page 294-302. IEEE Computer Society, (1996)
- ITC, page 362. IEEE Computer Society, (1994)
- ITC, page 928-935. IEEE Computer Society, (1993)
- ITC, page 178-186. IEEE Computer Society, (1992)
- ITC, page 956-962. IEEE Computer Society, (1991)
- ITC, page 963-968. IEEE Computer Society, (1991)
- ITC, page 538-546. IEEE Computer Society, (2000)
- OCLC Systems & Services 28(1):17-31 (2012)
- Journal of Biomedical Informatics 45(1):1-14 (2012)
- Ann. Pure Appl. Logic 163(5):567-574 (2012)
- CoRR (2012)
- FTCS, page 74-81. IEEE Computer Society, (1990)


author