1. The Design and Analysis of Computer Algorithms;Aho,1974
2. Local computation of alternating fixed-points;Andersen,1992
3. Local computation of simultaneous fixed-points;Andersen,1992
4. Verification of Temporal Properties in Concurrent Systems;Andersen,1993
5. Compositional checking of satisfaction;Andersen;Formal Methods In System Design,1992