Second International Conference, ICICS’99, Sydney, Australia, November 9-11, 1999. Proceedings
Lecture Notes in Computer Science > Information and Communication Security > Language Based Approach to Security > 22-38
Lecture Notes in Computer Science > Information and Communication Security > Language Based Approach to Security > 39-53