@article{Bayer-Schkolnick/77,
AUTHOR = {Bayer, R. and Schkolnick, M.},
TITLE = {Concurrency of operations on b-trees},
JOURNAL = {Acta Inf.},
VOLUME = {9},
NUMBER = {1},
PAGES = {1-21},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=9&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {IBM Res. Lab., San Jose, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lee-Wong/77,
AUTHOR = {Lee, D.T. and Wong, C.K.},
TITLE = {Worst-case analysis for region and partial region searches in multidimensional binary search trees and balanced quad trees},
JOURNAL = {Acta Inf.},
VOLUME = {9},
NUMBER = {1},
PAGES = {23-29},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=9&issue=1&spage=23},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Illinois, Urbana, IL, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Pager/77,
AUTHOR = {Pager, D.},
TITLE = {Eliminating unit productions from LR parsers},
JOURNAL = {Acta Inf.},
VOLUME = {9},
NUMBER = {1},
PAGES = {31-59},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=9&issue=1&spage=31},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Information and Computer Sci., Univ. of Hawaii, Honolulu, HI, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Sokolowski/77,
AUTHOR = {Sokolowski, S.},
TITLE = {Axioms for total correctness},
JOURNAL = {Acta Inf.},
VOLUME = {9},
NUMBER = {1},
PAGES = {61-71},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=9&issue=1&spage=61},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. of Math., Univ. of Gdansk, Gdansk, Poland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Paredaens-Vyncke/77,
AUTHOR = {Paredaens, J. and Vyncke, R.},
TITLE = {A class of measures on formal languages},
JOURNAL = {Acta Inf.},
VOLUME = {9},
NUMBER = {1},
PAGES = {73-86},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=9&issue=1&spage=73},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Res. Labs., MBLE, Brussels, Belgium},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Avenhaus-Madlener/77,
AUTHOR = {Avenhaus, J. and Madlener, K.},
TITLE = {Subrecursive complexities on groups. I. Groups of given complexity},
JOURNAL = {Acta Inf.},
VOLUME = {9},
NUMBER = {1},
PAGES = {87-104},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=9&issue=1&spage=87},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich Informatik und Fachbereich Math., Univ. Kaiserslautern, Kaiserslautern, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Watt/77,
AUTHOR = {Watt, D.A.},
TITLE = {The parsing problem for affix grammars},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {1},
PAGES = {1-20},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computing Sci. Dept., Univ. of Glasgow, Glasgow, Scotland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Luckham-Suzuki/77,
AUTHOR = {Luckham, D.C. and Suzuki, N.},
TITLE = {Proof of termination within a weak logic of programs},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {1},
PAGES = {21-36},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=1&spage=21},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Stanford Univ., Stanford, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Majster/77,
AUTHOR = {Majster, M.E.},
TITLE = {Extended directed graphs, a formalism for structured data and data structures},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {1},
PAGES = {37-59},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=1&spage=37},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informatik, Tech. Univ., M{\"u}nchen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Mitrani-Hine/77,
AUTHOR = {Mitrani, I. and Hine, J.H.},
TITLE = {Complete parameterized families of job scheduling strategies},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {1},
PAGES = {61-73},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=1&spage=61},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computing Lab., Univ. of Newcastle upon Tyne, Newcastle upon Tyne, England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Maurer-Salomaa-Wood/77,
AUTHOR = {Maurer, H.A. and Salomaa, A. and Wood, D.},
TITLE = {E0l forms},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {1},
PAGES = {75-96},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=1&spage=75},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Angewandte Informatik und Formale Beschreibungsverfahren, Univ. Karlsruhe, Karlsruhe, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Tennent/77a,
AUTHOR = {Tennent, R.D.},
TITLE = {Language design methods based on semantic principles},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {2},
PAGES = {97-112},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=2&spage=97},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computing and Information Sci., Queen's Univ., Kingston, Ontario, Canada},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Russell/77a,
AUTHOR = {Russell, Bruce},
TITLE = {On an equivalence between continuation and stack semantics},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {2},
PAGES = {113-123},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=2&spage=113},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Univ. Coll., Dublin, Ireland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Francez-Klebansky-Pnueli/77,
AUTHOR = {Francez, N. and Klebansky, B. and Pnueli, A.},
TITLE = {Backtracking in recursive computations},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {2},
PAGES = {125-144},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=2&spage=125},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Appl. Math., Weizmann Inst. of Sci., Rehovot, Israel},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ernst/77,
AUTHOR = {Ernst, G.W.},
TITLE = {Rules of inference for procedure calls},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {2},
PAGES = {145-152},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=2&spage=145},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Engng. and Information Sci., Case Western Reserve Univ., Cleveland, OH, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Munch-Andersen-Zahle/77,
AUTHOR = {Munch-Andersen, Bo and Zahle, Torben U.},
TITLE = {Scheduling according to job priority with prevention of deadlock and permanent blocking},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {2},
PAGES = {153-175},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=2&spage=153},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Lab. of Road Data Processing, Herlev, Denmark},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Seiferas/77c,
AUTHOR = {Seiferas, J.I.},
TITLE = {Iterative arrays with direct central control},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {2},
PAGES = {177-192},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=2&spage=177},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Pennsylvania State Univ., University Park, PA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Deussen-Mehlhorn/77,
AUTHOR = {Deussen, P. and Mehlhorn, K.},
TITLE = {Van Wijngaarden grammars and space complexity class exspace},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {2},
PAGES = {193-199},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=2&spage=193},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informatik I, Univ. Karlsruhe, Karlsruhe, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Agerwala/77,
AUTHOR = {Agerwala, T.},
TITLE = {Some extended semaphore primitives},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {3},
PAGES = {201-220},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=3&spage=201},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Electrical Engng. and Computer Sci., Univ of Texas Austin, TX, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Donahue/77,
AUTHOR = {Donahue, J.E.},
TITLE = {Locations considered unnecessary},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {3},
PAGES = {221-242},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=3&spage=221},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Cornell Univ., Ithaca, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kroger/77,
AUTHOR = {Kr{\"o}ger, F.},
TITLE = {LAR: A logic of algorithmic reasoning},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {3},
PAGES = {243-266},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=3&spage=243},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informatik, Technische Univ. M{\"u}nchen, M{\"u}nchen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Igarashi/77a,
AUTHOR = {Igarashi, Y.},
TITLE = {General properties of derivational complexity},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {3},
PAGES = {267-283},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=3&spage=267},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Centre for Computer Studies, Univ. of Leeds, Leeds, England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Asveld-Engelfriet/77,
AUTHOR = {Asveld, P.R.J. and Engelfriet, J.},
TITLE = {Iterated deterministic substitution},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {3},
PAGES = {285-302},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=3&spage=285},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Appl. Math., Twente Univ. of Technol., Enschede, Netherlands},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Eve-Kurki-Suonio/77,
AUTHOR = {Eve, J. and Kurki-Suonio, R.},
TITLE = {On computing the transitive closure of a relation},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {4},
PAGES = {303-314},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=4&spage=303},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computing Lab., Univ. of Newcastle upon Tyne, Newcastle upon Tyne, England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Tennent/77,
AUTHOR = {Tennent, R.D.},
TITLE = {On a new approach to representation independent data classes},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {4},
PAGES = {315-324},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=4&spage=315},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computing and Information Sci., Queen's Univ., Kingston, Ontario, Canada},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ramsperger/77,
AUTHOR = {Ramsperger, N.},
TITLE = {Concurrent access to data},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {4},
PAGES = {325-334},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=4&spage=325},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Leibniz-Rechenzentrum, Bayerische Akad. der Wissenschaften, M{\"u}nchen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Conradi/77,
AUTHOR = {Conradi, Reidar},
TITLE = {Some comments on `Concurrent Readers and writers'},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {4},
PAGES = {335-340},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=4&spage=335},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Norwegian Inst. of Technol., Univ. of Trondheim, Trondheim, Norway},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kameda-Gotlieb/77,
AUTHOR = {Kameda, H. and Gotlieb, C.C.},
TITLE = {A feedback-coupled resource allocation policy for multiprogrammed computer systems},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {4},
PAGES = {341-357},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=4&spage=341},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Electro-Communications, Tokyo, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Parent-Potier/77,
AUTHOR = {Parent, M. and Potier, D.},
TITLE = {A note on the influence of program loading on the page fault rate},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {4},
PAGES = {359-370},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=4&spage=359},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Iria, le Chesnay, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Monien/77,
AUTHOR = {Monien, Burkhard},
TITLE = {The LBA-problem and the deterministic tape complexity of two-way one-counter languages over a one-letter alphabet},
JOURNAL = {Acta Inf.},
VOLUME = {8},
NUMBER = {4},
PAGES = {371-382},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=8&issue=4&spage=371},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Abteilung Informatik, Univ. Dortmund, Dortmund, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Pager/77a,
AUTHOR = {Pager, D.},
TITLE = {A practical general method for constructing LR(k) parsers},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {3},
PAGES = {249-268},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=3&spage=249},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Information and Computer Sci., Univ. of Hawaii, Honolulu, HI, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kern/77,
AUTHOR = {Kern, W.},
TITLE = {Storage optimal formula translation},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {3},
PAGES = {269-287},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=3&spage=269},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich Informatik, Darmstadt, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Rosenberg-Stockmeyer/77,
AUTHOR = {Rosenberg, A.L. and Stockmeyer, L.J.},
TITLE = {Storage schemes for boundedly extendible arrays},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {3},
PAGES = {289-303},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=3&spage=289},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Math. Sci. Dept., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kam-Ullman/77,
AUTHOR = {Kam, J.B. and Ullman, J.D.},
TITLE = {Monotone data flow analysis frameworks},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {3},
PAGES = {305-317},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=3&spage=305},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Electrical Engng. and Computer Sci., Princeton Univ., NJ, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Shostak/77,
AUTHOR = {Shostak, R.E.},
TITLE = {On the role of unification in mechanical theorem proving},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {3},
PAGES = {319-323},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=3&spage=319},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Stanford Res. Inst., Menlo Park, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Sedgewick/77a,
AUTHOR = {Sedgewick, R.},
TITLE = {The analysis of quicksort programs},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {4},
PAGES = {327-355},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=4&spage=327},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Div. of Appl. Math., Brown Univ., Providence, RI, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kowaltowski/77,
AUTHOR = {Kowaltowski, T.},
TITLE = {Axiomatic approach to side effects and general jumps},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {4},
PAGES = {357-360},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=4&spage=357},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. de Matematica Aplicado, Univ. de Sao Paulo, Sao Paulo, Brazil},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Macveigh/77,
AUTHOR = {Macveigh, D.T.},
TITLE = {Effect of data representation on cost of sparse matrix operations},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {4},
PAGES = {361-394},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=4&spage=361},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Jesuit Community, Lemoyne Coll., Syracuse, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Schonhage/77,
AUTHOR = {Sch{\"o}nhage, A.},
TITLE = {Fast multiplication of polynomials over fields of characteristic 2},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {4},
PAGES = {395-398},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=4&spage=395},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Math. Inst., Univ. Tubingen, Tubingen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Perrot/77,
AUTHOR = {Perrot, J.-F.},
TITLE = {Syntactic monoids of algebraic languages},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {4},
PAGES = {399-413},
YEAR = {1977},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=4&spage=399},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. de Programmation, Univ. de Paris, Paris, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}