AB ABS ACVC ADA's ADM ADUSEB AE AEB AEC AEG AFB AG AHL AI AIC AIS APC API ARL ARR ASA ASE ASI ASIS ASISFAQ ASISRG ASISWG ASIa ASIb ASIc ASId ASL ASR ASTS ATA ATAC ATC ATI ATL ATW AUA AUC AUI AUJOET AUM AUS AUSa AUSb AUU AV AVN AW AWW AXC Aberystwyth Acosta AdaMap AdaSCC AdaUK Adv Alonso Alsys Alvery Alvey Analect Ardouin Arnaudo Asphodel Automation B BAeSEMA BAeSema BEOLOGIC BLS BOI BR Barahona Bargiela Barnwood Basildon Bazex Betz BibTeX Biomantic Bodilsen Boldyreff Booch Boulle Brassington Bretagne Brosgol Bruxelles Buckinghamshire Bundgaard Burhouse C CAIS CAa CAb CBA CC CCS CEGB CLV CODEN CORBA CPLa CPLb CQS CR CRC CSE CSF Cantabria Centeno Centre Chastek Chelmsford Chippenham Ciencias Co Coll Comp Compendex Comput Computacion Coprocessor Corbin Crowe Culwin Cuthbert Cyclomatic D DAC DACS DAMOKLES DBMS DCC DDC DDS DGDQA DP DSP DSR DSS DTB DVS Datagram Datenverarbeitung Dausmann Dawes DeVroey Defence Dev Disley Dittrich Div DoD Dobbing E EA EAC EAM EAS ECMA EIR ENST EP EPAa EPAb EPM ETSI EURAC Ea Eb Ec Electr Electrotechnical Elsom Engl Escuela Esher Ethernet Evisa F FAX FB FCA FCI FEa FEb FHO FSV FTP Fac Farnborough Ferranti Firesmith Flixborough Forrester Forschungszentrum Foulkes Fr Freiburg Fri G GEC GKS GMD GPA GUA GWA Gargaro Gauthier Gautier Genericity Generics Gesellschaft Glynn GmbH GonzalezBarahona Gotthard Grazebrook Guildford H Heerfordt Hennell Heras Heslington Higgon Holmgren Holzmuller Hosseinzaman Huiming Hulmgrew Hutcheon IAA IAE IAI IAS IAV IBA ICL IEC IEF INSCC INSPEC IPL IPSE IPSEs IRIT IRTAW ISA ISSN ITU IUM Inf Informatics Ingenieria Insecurities Inst Int Internetworking Interoperability Interworking J JBI JCL JSD JWB Jamieson K KAPSE KPF KUKOBEZA Karlsruhe Kenward Kermarrec Keyline Kirtland Klebe Koschke Kruchten Kugler L LAV LCA LCR LDRA LE LHS LIS LLF LMC LOTOS LSE LaTeX Larkham Lawton Leganes Libre Liddiard Limoges Llana Llano Lockemann Logix Longhurst Losavio Lyme Lyngby M MAA MALPAS MCA MDT MFE MIL MIMD MJN MME MPA MRA MST MYN Macclesfield Malvern Manas Marconi Matteo McDermid Mearns Menendez MenendezdeLlanaRozas MenendezdeLlanoRozas Menes Mesler Meta Millan MoD Modula Modulamentality Mon Monasterio Monroeville Moorestown Morron Muenchen Mulatero N NACISA NAO NIS NMC NPL Na Nana Nassi Nb Nc Nucl O OAD ODP OMD OMS OO OOD OODA OODBMS OOP OOPls OPA OSCRL OTO Occam Oldfield Oliphint Olufsen Online Orsay Ossian P PCTE PE PII PLC POA POGS POM POSIX PPA PRA PSE PSEs PTC PTT PU PV Paisley Paranor Pautet Philippe Pitty Plessey Pluss Politecnica Polymorphism Polytech Postbank Practicum Programme Prudom Puente Queueing Quiros R RAC RDF RDL RDT RIA RM RMC RP RPT RPU RRA RRE RRs RTP Rapporteur Res Reseaux Reusability Riche Riehle Romsey Rozas Rungis S SCADA SDC SDM SFD SIA SIERRADA SIMD SMCS SNT SPARC SPI SPP SRM STC STD STR STS SUA SV Sabatier Salvachua Sanden Santander Sch Schlienger Schonbert Scicon Scunthorpe Sep Sherif Sierrada Snowdon Solovay's Southci Statecharts Statemate Stuckey Sunderland Syms Syst T THC TIAa TIAb TIAc TJS TLD TLDacs TML TML's TOPO TRS TSA TYT Tartan Tchamnda TeX Technol Tedd Teddington Telecom Telecomm Telecommun Telematica Thames Thierry Thu Tokar Toole Toulouse Transis Trent Tudball Tue U UCO UGR UIA ULS UNIBASE UOT URL USENET UTC UUI Unger Univ Universidad Universit V VAP VCA VDM VHDL VK VN VTET Veiga Venez Vicary Villadsen Vroey W WDK WG WJA WMC WRI WUA WWT WWW Wahlendorf Wellings Westley Wichmann Wirth Witwatersrand Woodford X XMI XRete Y YCD Ys Yu Yvon Zeigler Zweiacker ac ack acknowledgement acm ada adauk adauser adauserj affiliationaddress al applets apr asis authorisation automation backpropagation beebe behaviour bibdate bibmods bibnames bibsort bibsource bton byvolume c categorisation centres checkpointing codetable computerised conferenceyear conflocation conformant conftitle coprocessor corpsource courseware dataflow de dec defence des docstring e edu elaboratable email emption emptive equational expiry finalisation g genericity generics heterogenous htm html http i ieee inhouse initialisation inline insecurities interoperability interworking iso j jbaccess jbcompat jbdepend jbexcep jblib jboop jbpo jbpredef jouedpol journalabr jun jvm jvol lifecycle longjumps ltx modelling nhfb noninitialization oct optimised org organisation organisational personalised plc plu polymorphism practicum pre prevjour programme pubcountry queueing realise realised recognisable recompilation restandardisation reusability rieure s sep showtags snowwhite sponsororg st standardisation standardised sychronisation th toolset traceability transputer transputers traversers twocolumn uk un und unix unsrt utah wc workarounds www x xx xxauthor zeigler