@inproceedings{Rushby98:ICFEM,
    AUTHOR = {John Rushby},
    TITLE = {Ubiquitous Abstraction: {A} New Approach for Mechanized Formal Verification (Extended Abstract)},
    BOOKTITLE = {Second International Conference on Formal Engineering Methods (ICFEM '98)},
    YEAR = {1998},
    PAGES = {176--178},
    ADDRESS = {Brisbane, Australia},
    MONTH = {dec},
    ORGANIZATION = {{IEEE} Computer Society},
    URL = {http://www.csl.sri.com/papers/icfem98/}
}