%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Thu Jan 4 08:49:28 MST 2018 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{13th}{% IEEE:1972:ASS% }. \NAMECITE{14th}{% IEEE:1973:ASS% }. \NAMECITE{15th}{% IEEE:1974:ASS% }. \NAMECITE{16th}{% IEEE:1975:ASF% }. \NAMECITE{17th}{% IEEE:1976:ASF% }. \NAMECITE{18th}{% IEEE:1977:ASF% }. \NAMECITE{19th}{% IEEE:1978:ASF% }. \NAMECITE{1st}{% IEEE:1960:SCT% }. \NAMECITE{{2002}}{% IEEE:2002:PAI% }. \NAMECITE{20th}{% IEEE:1979:ASF% }. \NAMECITE{21st}{% IEEE:1980:ASF% }. \NAMECITE{22nd}{% IEEE:1981:ASF% }. \NAMECITE{23rd}{% IEEE:1982:ASF% }. \NAMECITE{24rd}{% IEEE:1983:ASF% }. \NAMECITE{25th}{% IEEE:1984:ASF% }. \NAMECITE{26-28}{% IEEE:1966:ICR% }. \NAMECITE{26th}{% IEEE:1985:ASF% }. \NAMECITE{27th}{% IEEE:1986:ASF% }. \NAMECITE{28th}{% IEEE:1987:ASF% }. \NAMECITE{29th}{% IEEE:1988:ASF% }. \NAMECITE{30th}{% IEEE:1989:ASF% }. \NAMECITE{31st}{% IEEE:1990:PAS% }. \NAMECITE{32nd}{% IEEE:1991:PAS% }. \NAMECITE{33rd}{% IEEE:1992:ASF% }. \NAMECITE{34th}{% IEEE:1993:ASF% }. \NAMECITE{35th}{% Goldwasser:1994:P% }. \NAMECITE{36th}{% IEEE:1995:ASF% }. \NAMECITE{37th}{% IEEE:1996:ASF% }. \NAMECITE{38th}{% IEEE:1997:ASF% }. \NAMECITE{39th}{% IEEE:1998:ASF% }. \NAMECITE{40th}{% IEEE:1999:ASF% }. \NAMECITE{41st}{% IEEE:2000:ASF% }. \NAMECITE{42nd}{% IEEE:2001:ISF% }. \NAMECITE{43rd}{% IEEE:2002:PAI% }. \NAMECITE{44th}{% IEEE:2003:PAI% }. \NAMECITE{45th}{% IEEE:2004:PAI% }. \NAMECITE{{46th}}{% IEEE:2005:AIS% }. \NAMECITE{{47th}}{% IEEE:2006:AIS% }. \NAMECITE{48th}{% IEEE:2007:PAI% }. \NAMECITE{49th}{% IEEE:2008:PAI% }. \NAMECITE{50th}{% IEEE:2009:PAI% }. \NAMECITE{51st}{% IEEE:2010:PIA% }. \NAMECITE{52nd}{% IEEE:2011:PIA% }. \NAMECITE{53rd}{% IEEE:2012:PIA% }. \NAMECITE{54th}{% IEEE:2013:PIA% }. \NAMECITE{Alto}{% IEEE:1993:ASF,% IEEE:1998:ASF% }. \NAMECITE{Angeles}{% IEEE:1987:ASF% }. \NAMECITE{Ann}{% IEEE:1965:ICR,% IEEE:1978:ASF% }. \NAMECITE{Annual}{% Goldwasser:1994:P,% IEEE:1960:SCT,% IEEE:1962:PTA,% IEEE:1967:ICR,% IEEE:1970:ICR,% IEEE:1972:ASS,% IEEE:1973:ASS,% IEEE:1974:ASS,% IEEE:1975:ASF,% IEEE:1979:ASF,% IEEE:1981:ASF,% IEEE:1983:ASF,% IEEE:1990:PAS,% IEEE:1992:ASF,% IEEE:1993:ASF,% IEEE:1995:ASF,% IEEE:1996:ASF,% IEEE:1997:ASF,% IEEE:1998:ASF,% IEEE:1999:ASF,% IEEE:2000:ASF,% IEEE:2002:PAI,% IEEE:2003:PAI,% IEEE:2004:PAI,% IEEE:2005:AIS,% IEEE:2006:AIS,% IEEE:2007:PAI,% IEEE:2008:PAI,% IEEE:2009:PAI,% IEEE:2010:PIA,% IEEE:2011:PIA,% IEEE:2012:PIA,% IEEE:2013:PIA,% IEEE:1963:SCT,% IEEE:1964:SCT,% IEEE:1965:ICR,% IEEE:1966:ICR,% IEEE:1968:ICR,% IEEE:1969:ICR,% IEEE:1971:CRT,% IEEE:1976:ASF,% IEEE:1977:ASF,% IEEE:1978:ASF,% IEEE:1980:ASF,% IEEE:1982:ASF,% IEEE:1984:ASF,% IEEE:1985:ASF,% IEEE:1986:ASF,% IEEE:1987:ASF,% IEEE:1988:ASF,% IEEE:1989:ASF,% IEEE:1991:PAS% }. \NAMECITE{Arbor}{% IEEE:1965:ICR,% IEEE:1978:ASF% }. \NAMECITE{Arizona}{% IEEE:1983:ASF% }. \NAMECITE{Atlanta}{% IEEE:2009:PAI% }. \NAMECITE{Automata}{% IEEE:1967:ICR,% IEEE:1968:ICR,% IEEE:1969:ICR,% IEEE:1970:ICR,% IEEE:1971:CRT,% IEEE:1972:ASS,% IEEE:1973:ASS,% IEEE:1974:ASS,% IEEE:1978:ASF,% IEEE:1966:ICR% }. \NAMECITE{BC}{% IEEE:2002:PAI% }. \NAMECITE{Beach}{% IEEE:1997:ASF,% IEEE:2000:ASF% }. \NAMECITE{Berkeley}{% IEEE:1966:ICR,% IEEE:1975:ASF,% IEEE:2006:AIS,% IEEE:2013:PIA% }. \NAMECITE{Brunswick}{% IEEE:2012:PIA% }. \NAMECITE{Burlington}{% IEEE:1996:ASF% }. \NAMECITE{CA}{% IEEE:2013:PIA% }. \NAMECITE{Calif}{% IEEE:1966:ICR,% IEEE:1970:ICR% }. \NAMECITE{California}{% IEEE:1966:ICR,% IEEE:1975:ASF,% IEEE:1987:ASF,% IEEE:1993:ASF,% IEEE:1998:ASF,% IEEE:2000:ASF,% IEEE:2011:PIA,% IEEE:2006:AIS% }. \NAMECITE{called}{% IEEE:1978:ASF% }. \NAMECITE{Cambridge}{% IEEE:2003:PAI% }. \NAMECITE{Canada}{% IEEE:1969:ICR,% IEEE:1986:ASF,% IEEE:2002:PAI% }. \NAMECITE{Carolina}{% IEEE:1989:ASF% }. \NAMECITE{Chicago}{% IEEE:1962:PTA,% IEEE:1963:SCT,% IEEE:1982:ASF% }. \NAMECITE{Circuit}{% IEEE:1960:SCT,% IEEE:1961:SCT,% IEEE:1962:PTA,% IEEE:1963:SCT,% IEEE:1964:SCT,% IEEE:1965:ICR% }. \NAMECITE{City}{% IEEE:1999:ASF% }. \NAMECITE{Computer}{% Goldwasser:1994:P,% IEEE:1973:ASS,% IEEE:1975:ASF,% IEEE:1976:ASF,% IEEE:1977:ASF,% IEEE:1978:ASF,% IEEE:1979:ASF,% IEEE:1980:ASF,% IEEE:1981:ASF,% IEEE:1982:ASF,% IEEE:1983:ASF,% IEEE:1984:ASF,% IEEE:1985:ASF,% IEEE:1986:ASF,% IEEE:1987:ASF,% IEEE:1988:ASF,% IEEE:1989:ASF,% IEEE:1990:PAS,% IEEE:1991:PAS,% IEEE:1992:ASF,% IEEE:1993:ASF,% IEEE:1995:ASF,% IEEE:1996:ASF,% IEEE:1997:ASF,% IEEE:1998:ASF,% IEEE:1999:ASF,% IEEE:2000:ASF,% IEEE:2001:ISF,% IEEE:2002:PAI,% IEEE:2003:PAI,% IEEE:2004:PAI,% IEEE:2005:AIS,% IEEE:2006:AIS,% IEEE:2007:PAI,% IEEE:2008:PAI,% IEEE:2009:PAI,% IEEE:2010:PIA,% IEEE:2011:PIA,% IEEE:2012:PIA,% IEEE:2013:PIA% }. \NAMECITE{Conference}{% IEEE:1971:CRT,% IEEE:1965:ICR,% IEEE:1966:ICR,% IEEE:1967:ICR,% IEEE:1968:ICR,% IEEE:1969:ICR,% IEEE:1970:ICR% }. \NAMECITE{Department}{% IEEE:1973:ASS% }. \NAMECITE{Design}{% IEEE:1960:SCT,% IEEE:1961:SCT,% IEEE:1962:PTA,% IEEE:1963:SCT,% IEEE:1964:SCT,% IEEE:1965:ICR% }. \NAMECITE{Detroit}{% IEEE:1961:SCT% }. \NAMECITE{East}{% IEEE:1971:CRT% }. \NAMECITE{Eighth}{% IEEE:1967:ICR% }. \NAMECITE{Eleventh}{% IEEE:1970:ICR% }. \NAMECITE{Fe}{% Goldwasser:1994:P% }. \NAMECITE{fifth}{% IEEE:1964:SCT% }. \NAMECITE{Florida}{% IEEE:1984:ASF,% IEEE:1997:ASF% }. \NAMECITE{FOCS}{% IEEE:2002:PAI,% IEEE:2003:PAI,% IEEE:2004:PAI,% IEEE:2005:AIS,% IEEE:2006:AIS,% IEEE:2007:PAI% }. \NAMECITE{formerly}{% IEEE:1978:ASF% }. \NAMECITE{Foundations}{% Goldwasser:1994:P,% IEEE:1975:ASF,% IEEE:1976:ASF,% IEEE:1977:ASF,% IEEE:1978:ASF,% IEEE:1979:ASF,% IEEE:1980:ASF,% IEEE:1981:ASF,% IEEE:1982:ASF,% IEEE:1983:ASF,% IEEE:1984:ASF,% IEEE:1985:ASF,% IEEE:1986:ASF,% IEEE:1987:ASF,% IEEE:1988:ASF,% IEEE:1989:ASF,% IEEE:1990:PAS,% IEEE:1991:PAS,% IEEE:1992:ASF,% IEEE:1993:ASF,% IEEE:1995:ASF,% IEEE:1996:ASF,% IEEE:1997:ASF,% IEEE:1998:ASF,% IEEE:1999:ASF,% IEEE:2000:ASF,% IEEE:2001:ISF,% IEEE:2002:PAI,% IEEE:2003:PAI,% IEEE:2004:PAI,% IEEE:2005:AIS,% IEEE:2006:AIS,% IEEE:2007:PAI,% IEEE:2008:PAI,% IEEE:2009:PAI,% IEEE:2010:PIA,% IEEE:2011:PIA,% IEEE:2012:PIA,% IEEE:2013:PIA% }. \NAMECITE{fourth}{% IEEE:1963:SCT% }. \NAMECITE{Georgia}{% IEEE:2009:PAI% }. \NAMECITE{Houston}{% IEEE:1976:ASF% }. \NAMECITE{Hyatt}{% IEEE:2012:PIA% }. \NAMECITE{IEEE}{% IEEE:2002:PAI,% IEEE:2003:PAI,% IEEE:2004:PAI,% IEEE:2005:AIS,% IEEE:2006:AIS,% IEEE:2007:PAI,% IEEE:2008:PAI,% IEEE:2009:PAI,% IEEE:2010:PIA,% IEEE:2011:PIA,% IEEE:2012:PIA,% IEEE:2013:PIA% }. \NAMECITE{Ill}{% IEEE:1963:SCT% }. \NAMECITE{Illinois}{% IEEE:1982:ASF% }. \NAMECITE{Iowa}{% IEEE:1973:ASS% }. \NAMECITE{Island}{% IEEE:1977:ASF,% IEEE:1984:ASF,% IEEE:2007:PAI% }. \NAMECITE{{Italy}}{% IEEE:2004:PAI% }. \NAMECITE{Jersey}{% IEEE:2012:PIA% }. \NAMECITE{Juan}{% IEEE:1979:ASF,% IEEE:1991:PAS% }. \NAMECITE{Lansing}{% IEEE:1971:CRT% }. \NAMECITE{Logical}{% IEEE:1960:SCT,% IEEE:1961:SCT,% IEEE:1962:PTA,% IEEE:1963:SCT,% IEEE:1964:SCT,% IEEE:1965:ICR% }. \NAMECITE{Louis}{% IEEE:1990:PAS% }. \NAMECITE{{Massachusetts}}{% IEEE:2003:PAI% }. \NAMECITE{Mexico}{% Goldwasser:1994:P% }. \NAMECITE{{MI}}{% IEEE:1961:SCT% }. \NAMECITE{Miami}{% IEEE:1997:ASF% }. \NAMECITE{Mich}{% IEEE:1965:ICR,% IEEE:1971:CRT% }. \NAMECITE{Michigan}{% IEEE:1965:ICR,% IEEE:1978:ASF% }. \NAMECITE{Milwaukee}{% IEEE:1995:ASF% }. \NAMECITE{Missouri}{% IEEE:1990:PAS% }. \NAMECITE{Monica}{% IEEE:1970:ICR% }. \NAMECITE{{N.J.}}{% IEEE:1964:SCT% }. \NAMECITE{Nashville}{% IEEE:1981:ASF% }. \NAMECITE{Nevada}{% IEEE:2001:ISF,% IEEE:2010:PIA% }. \NAMECITE{ninth}{% IEEE:1968:ICR% }. \NAMECITE{North}{% IEEE:1989:ASF% }. \NAMECITE{November}{% Goldwasser:1994:P,% IEEE:1964:SCT,% IEEE:1977:ASF,% IEEE:1982:ASF,% IEEE:1983:ASF,% IEEE:1989:ASF,% IEEE:1993:ASF,% IEEE:1998:ASF,% IEEE:2000:ASF,% IEEE:2002:PAI% }. \NAMECITE{Oct}{% IEEE:1978:ASF,% IEEE:1979:ASF% }. \NAMECITE{October}{% IEEE:1960:SCT,% IEEE:1961:SCT,% IEEE:1962:PTA,% IEEE:1963:SCT,% IEEE:1965:ICR,% IEEE:1966:ICR,% IEEE:1967:ICR,% IEEE:1968:ICR,% IEEE:1969:ICR,% IEEE:1970:ICR,% IEEE:1971:CRT,% IEEE:1972:ASS,% IEEE:1973:ASS,% IEEE:1975:ASF,% IEEE:1976:ASF,% IEEE:1977:ASF,% IEEE:1980:ASF,% IEEE:1981:ASF,% IEEE:1984:ASF,% IEEE:1985:ASF,% IEEE:1986:ASF,% IEEE:1987:ASF,% IEEE:1988:ASF,% IEEE:1989:ASF,% IEEE:1990:PAS,% IEEE:1991:PAS,% IEEE:1992:ASF,% IEEE:1995:ASF,% IEEE:1996:ASF,% IEEE:1997:ASF,% IEEE:1999:ASF,% IEEE:2001:ISF,% IEEE:2003:PAI,% IEEE:2004:PAI,% IEEE:2005:AIS,% IEEE:2006:AIS,% IEEE:2007:PAI,% IEEE:2008:PAI,% IEEE:2009:PAI,% IEEE:2010:PIA,% IEEE:2011:PIA,% IEEE:2012:PIA,% IEEE:2013:PIA% }. \NAMECITE{Ontario}{% IEEE:1969:ICR% }. \NAMECITE{Oregon}{% IEEE:1985:ASF% }. \NAMECITE{Orleans}{% IEEE:1974:ASS% }. \NAMECITE{Palm}{% IEEE:2011:PIA% }. \NAMECITE{Palo}{% IEEE:1993:ASF,% IEEE:1998:ASF% }. \NAMECITE{papers}{% IEEE:1960:SCT,% IEEE:1965:ICR,% IEEE:1966:ICR,% IEEE:1967:ICR,% IEEE:1968:ICR,% IEEE:1969:ICR,% IEEE:1970:ICR,% IEEE:1971:CRT,% IEEE:1981:ASF,% IEEE:1992:ASF,% IEEE:1993:ASF% }. \NAMECITE{Park}{% IEEE:1989:ASF% }. \NAMECITE{Pennsylvania}{% IEEE:1992:ASF,% IEEE:2005:AIS,% IEEE:2008:PAI% }. \NAMECITE{Philadelphia}{% IEEE:2008:PAI% }. \NAMECITE{Pittsburgh}{% IEEE:1992:ASF,% IEEE:2005:AIS% }. \NAMECITE{Plains}{% IEEE:1988:ASF% }. \NAMECITE{Portland}{% IEEE:1985:ASF% }. \NAMECITE{presented}{% IEEE:1965:ICR,% IEEE:1966:ICR,% IEEE:1967:ICR,% IEEE:1968:ICR,% IEEE:1969:ICR,% IEEE:1970:ICR,% IEEE:1971:CRT% }. \NAMECITE{Princeton}{% IEEE:1964:SCT% }. \NAMECITE{Proceedings}{% Goldwasser:1994:P,% IEEE:1962:PTA,% IEEE:1990:PAS,% IEEE:1991:PAS,% IEEE:1963:SCT,% IEEE:1964:SCT,% IEEE:1992:ASF,% IEEE:1993:ASF,% IEEE:1998:ASF,% IEEE:2000:ASF,% IEEE:2001:ISF,% IEEE:2002:PAI,% IEEE:2003:PAI,% IEEE:2004:PAI,% IEEE:2007:PAI,% IEEE:2008:PAI,% IEEE:2009:PAI,% IEEE:2010:PIA,% IEEE:2011:PIA,% IEEE:2012:PIA,% IEEE:2013:PIA% }. \NAMECITE{program}{% IEEE:1960:SCT% }. \NAMECITE{Providence}{% IEEE:1977:ASF,% IEEE:2007:PAI% }. \NAMECITE{Puerto}{% IEEE:1979:ASF,% IEEE:1991:PAS% }. \NAMECITE{record}{% IEEE:1965:ICR,% IEEE:1966:ICR,% IEEE:1967:ICR,% IEEE:1968:ICR,% IEEE:1969:ICR,% IEEE:1970:ICR,% IEEE:1971:CRT% }. \NAMECITE{Redondo}{% IEEE:2000:ASF% }. \NAMECITE{Regency}{% IEEE:2012:PIA% }. \NAMECITE{Research}{% IEEE:1989:ASF% }. \NAMECITE{Rhode}{% IEEE:1977:ASF,% IEEE:2007:PAI% }. \NAMECITE{Rico}{% IEEE:1979:ASF,% IEEE:1991:PAS% }. \NAMECITE{Rome}{% IEEE:2004:PAI% }. \NAMECITE{San}{% IEEE:1979:ASF,% IEEE:1991:PAS% }. \NAMECITE{Santa}{% Goldwasser:1994:P,% IEEE:1970:ICR% }. \NAMECITE{Schenectady}{% IEEE:1968:ICR% }. \NAMECITE{Science}{% Goldwasser:1994:P,% IEEE:1973:ASS,% IEEE:1975:ASF,% IEEE:1976:ASF,% IEEE:1977:ASF,% IEEE:1978:ASF,% IEEE:1979:ASF,% IEEE:1980:ASF,% IEEE:1981:ASF,% IEEE:1982:ASF,% IEEE:1983:ASF,% IEEE:1984:ASF,% IEEE:1985:ASF,% IEEE:1986:ASF,% IEEE:1987:ASF,% IEEE:1988:ASF,% IEEE:1989:ASF,% IEEE:1990:PAS,% IEEE:1991:PAS,% IEEE:1992:ASF,% IEEE:1993:ASF,% IEEE:1995:ASF,% IEEE:1996:ASF,% IEEE:1997:ASF,% IEEE:1998:ASF,% IEEE:1999:ASF,% IEEE:2000:ASF,% IEEE:2001:ISF,% IEEE:2002:PAI,% IEEE:2003:PAI,% IEEE:2004:PAI,% IEEE:2005:AIS,% IEEE:2006:AIS,% IEEE:2007:PAI,% IEEE:2008:PAI,% IEEE:2009:PAI,% IEEE:2010:PIA,% IEEE:2011:PIA,% IEEE:2012:PIA,% IEEE:2013:PIA% }. \NAMECITE{Selected}{% IEEE:1960:SCT% }. \NAMECITE{seventh}{% IEEE:1966:ICR% }. \NAMECITE{Singer}{% IEEE:1984:ASF% }. \NAMECITE{sixth}{% IEEE:1965:ICR% }. \NAMECITE{Springs}{% IEEE:2011:PIA% }. \NAMECITE{St}{% IEEE:1990:PAS% }. \NAMECITE{Switching}{% IEEE:1960:SCT,% IEEE:1961:SCT,% IEEE:1962:PTA,% IEEE:1963:SCT,% IEEE:1964:SCT,% IEEE:1967:ICR,% IEEE:1968:ICR,% IEEE:1969:ICR,% IEEE:1970:ICR,% IEEE:1971:CRT,% IEEE:1972:ASS,% IEEE:1973:ASS,% IEEE:1974:ASS,% IEEE:1978:ASF,% IEEE:1965:ICR,% IEEE:1966:ICR% }. \NAMECITE{Symposium}{% Goldwasser:1994:P,% IEEE:1960:SCT,% IEEE:1962:PTA,% IEEE:1967:ICR,% IEEE:1968:ICR,% IEEE:1969:ICR,% IEEE:1970:ICR,% IEEE:1971:CRT,% IEEE:1972:ASS,% IEEE:1973:ASS,% IEEE:1974:ASS,% IEEE:1975:ASF,% IEEE:1976:ASF,% IEEE:1977:ASF,% IEEE:1978:ASF,% IEEE:1979:ASF,% IEEE:1980:ASF,% IEEE:1981:ASF,% IEEE:1982:ASF,% IEEE:1983:ASF,% IEEE:1984:ASF,% IEEE:1985:ASF,% IEEE:1986:ASF,% IEEE:1987:ASF,% IEEE:1988:ASF,% IEEE:1989:ASF,% IEEE:1990:PAS,% IEEE:1991:PAS,% IEEE:1992:ASF,% IEEE:1993:ASF,% IEEE:1995:ASF,% IEEE:1996:ASF,% IEEE:1997:ASF,% IEEE:1998:ASF,% IEEE:1999:ASF,% IEEE:2000:ASF,% IEEE:2001:ISF,% IEEE:2002:PAI,% IEEE:2003:PAI,% IEEE:2004:PAI,% IEEE:2005:AIS,% IEEE:2006:AIS,% IEEE:2007:PAI,% IEEE:2008:PAI,% IEEE:2009:PAI,% IEEE:2010:PIA,% IEEE:2011:PIA,% IEEE:2012:PIA,% IEEE:2013:PIA,% IEEE:1963:SCT,% IEEE:1964:SCT,% IEEE:1965:ICR,% IEEE:1966:ICR% }. \NAMECITE{Syracuse}{% IEEE:1980:ASF% }. \NAMECITE{Tennessee}{% IEEE:1981:ASF% }. \NAMECITE{tenth}{% IEEE:1969:ICR% }. \NAMECITE{Texas}{% IEEE:1967:ICR,% IEEE:1976:ASF% }. \NAMECITE{Theory}{% IEEE:1960:SCT,% IEEE:1961:SCT,% IEEE:1962:PTA,% IEEE:1967:ICR,% IEEE:1968:ICR,% IEEE:1969:ICR,% IEEE:1970:ICR,% IEEE:1971:CRT,% IEEE:1972:ASS,% IEEE:1973:ASS,% IEEE:1974:ASS,% IEEE:1978:ASF,% IEEE:1963:SCT,% IEEE:1964:SCT,% IEEE:1965:ICR,% IEEE:1966:ICR% }. \NAMECITE{Third}{% IEEE:1962:PTA% }. \NAMECITE{Toronto}{% IEEE:1986:ASF% }. \NAMECITE{Triangle}{% IEEE:1989:ASF% }. \NAMECITE{Tucson}{% IEEE:1983:ASF% }. \NAMECITE{twelfth}{% IEEE:1971:CRT% }. \NAMECITE{University}{% IEEE:1965:ICR,% IEEE:1966:ICR,% IEEE:1967:ICR,% IEEE:1973:ASS,% IEEE:1974:ASS% }. \NAMECITE{{USA}}{% IEEE:2001:ISF,% IEEE:2005:AIS,% IEEE:2008:PAI,% IEEE:2009:PAI,% IEEE:2010:PIA,% IEEE:2011:PIA,% IEEE:2012:PIA,% IEEE:2013:PIA% }. \NAMECITE{Vancouver}{% IEEE:2002:PAI% }. \NAMECITE{Vegas}{% IEEE:2001:ISF,% IEEE:2010:PIA% }. \NAMECITE{Vermont}{% IEEE:1996:ASF% }. \NAMECITE{Waterloo}{% IEEE:1969:ICR% }. \NAMECITE{White}{% IEEE:1988:ASF% }. \NAMECITE{Wisconsin}{% IEEE:1995:ASF% }. \NAMECITE{York}{% IEEE:1968:ICR,% IEEE:1980:ASF,% IEEE:1988:ASF,% IEEE:1999:ASF% }.