CSTCMFC,Symposium on Logic in Computer Science.Symposium on Logic in Computer Science(3rd : 1988 : Edinburgh, Scotland)：Logic in computer science : proceedings.Computer Society Pr.,1989.
IEEETCMFC,IEEE Symposium on Logic in Computer Science.IEEE Symposium on Logic in Computer Science(5th : 1990 : Philadelphia, PA)：proceedings.IEEE Computer Society Pr.,1990.
