L. Korff. US-Brazil Joint Workshops on the Formal Foundations of Software Systems, том 14 из Electronic Notes in Theoretical Computer Science, стр. 169-203. Elsevier, (1997)
L. Korff, и M. Korff. US-Brazil Joint Workshops on the Formal Foundations of Software Systems, том 14 из Electronic Notes in Theoretical Computer Science, стр. 204-213. Elsevier, (1997)