ABF AMAST Akademi B BCS BFP Bj Browsable Broy C CL CODEN COMP CS Calculational Centre Christoffer DCS DMTCS DSTO Defence Denvir E ERL F FACS FAIS FAX FMP GP Gefwert Grundy HOL HPL HWL ISBN ISSN ITD InCollection InProceedings J Joakim Jouko Jul Jun L LCCN LECT LNCS LNCSD Laangbacka Lemmink Lemminkaisenkatu Lloyd's MDT MPR MST Mathesis Mon Myla N Newey Organisation Orponen PPS Pekka PhdThesis Pottosin QA QG RCP RHP RME RQ RR Rimvydas Ruk SCA SCT SIGDA SPI SS SV Sepp T TBR TCJ THR TPH TPHOL TR TSE TSET TUCS TVL TechReport Tue Turku U Universalis V WIC WIH Windley abo ack acknowledgement acm adr anu apr au aug bcs bibdate bibmods bibnames bibnet bibsource booktitle browsable cambridge cl cs davis dec dsto e edu facs fi ftp g grundy ieee inst isenkatu itd j jan jim jul jun lncs m n nas nen ngbacka nhfb nov org rner s ser showtags sigda softcover sri th twocolumn u utah vonWright wic