oct: { "October"; }
ieeetc: { "IEEE Transactions on Computers"; }
scp: { "Science of Computer Programming"; }
tocs: { "ACM Transactions on Computer Systems"; }
USENIX: { "USENIX'$_[0] Conference Proceedings"; }
VLWS: { "Proceedings of $_[0] {IEEE} Workshop on Visual Languages"; }
jan: { "January"; }
jul: { "July"; }
jacm: { "Journal of the ACM"; }
tog: { "ACM Transactions on Graphics"; }
toms: { "ACM Transactions on Mathematical Software"; }
OOPSLA87: { "Proceedings of the 1987 ACM Conference on Object-Oriented
        Programming Systems, Languages and Applications"; }
Category: Unknown
Journal: &toplas
dec: { "December"; }
sesympo: { "Proceedings of the ACM SIGSOFT/SIGPLAN Software "; }
        Symposium on Practical Software Engineering Environment"; }
OOPSLA88: { "Proceedings of the 1988 ACM Conference on Object-Oriented
        Programming Systems, Languages and Applications"; }
Number: 3
feb: { "February"; }
apr: { "April"; }
jun: { "June"; }
ieeese: { "IEEE Transactions on Software Engineering"; }
ieeetcad: { "IEEE Transactions on Computer-Aided Design of Integrated Circuits"; }
jcss: { "Journal of Computer and System Sciences"; }
UIST: { "Proceedings of ACM User Interface Software and
        Technology (UIST)"; }
OOPSLA89: { "Proceedings of the 1989 ACM Conference on Object-Oriented
        Programming Systems, Languages and Applications"; }
VLWS91: { "Proceedings of 1991 {IEEE} Workshop on Visual Languages"; }
Bibtype: Article
ibmsj: { "IBM Systems Journal"; }
tcs: { "Theoretical Computer Science"; }
UIST89: { "Proceedings of the ACM SIGGRAPH Symposium on
        User Interface Software and Technology (UIST89)"; }
Pages: 404-425
Month: jul
Author: D. R. Jeggerson
may: { "May"; }
ipl: { "Information Processing Letters"; }
sicomp: { "SIAM Journal on Computing"; }
SIGIR89: { "Proceedings of the Twelfth Annual International ACM
        SIGIR Conference on Research and Development in
        Information Retrieval"; }
UIST90: { "Proceedings of the ACM SIGGRAPH Symposium on
        User Interface Software and Technology (UIST90)"; }
UIST91: { "Proceedings of the Fourth Annual Symposium on
        User Interface Software and Technology (UIST91)"; }
Title: Virtual Time
USENIX91: { "USENIX'91 Conference Proceedings"; }
Year: 1985
mar: { "March"; }
aug: { "August"; }
sep: { "September"; }
acta: { "Acta Informatica"; }
cacm: { "Communications of the ACM"; }
ibmjrd: { "IBM Journal of Research and Development"; }
toois: { "ACM Transactions on Office Information Systems"; }
ipsj: { '情報処理'; }
Volume: 7
acmcs: { "ACM Computing Surveys"; }
toplas: { "ACM Transactions on Programming Languages and Systems"; }
softpe: { 'Software -- Practice \& Experience'; }
Super: @predef
nov: { "November"; }
tods: { "ACM Transactions on Database Systems"; }