@article{Darlington/78,
AUTHOR = {Darlington, J.},
TITLE = {A synthesis of several sorting algorithms},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {1},
PAGES = {1-30},
YEAR = {1978},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computing and Control, Imperial Coll. of Sci. and Technol., London, England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Huet-Lang/78,
AUTHOR = {Huet, G. and Lang, B.},
TITLE = {Proving and applying program transformations expressed with second-order patterns},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {1},
PAGES = {31-55},
YEAR = {1978},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=1&spage=31},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Iria-Lab., le Chesnay, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Silberschatz-Johnson/78,
AUTHOR = {Silberschatz, A. and Johnson, B.},
TITLE = {Remarks on 'some comments on concurrent readers and writers' by Reidar Conradi},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {1},
PAGES = {57-60},
YEAR = {1978},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=1&spage=57},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Math. Sci., Univ. of Texas, Dallas, TX, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Adleman-Booth-Preparata-Ruzzo/78,
AUTHOR = {Adleman, L. and Booth, K.S. and Preparata, F.P. and Ruzzo, W.L.},
TITLE = {Improved time and space bounds for Boolean matrix multiplication},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {1},
PAGES = {61-70},
YEAR = {1978},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=1&spage=61},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Math., MIT, Cambridge, MA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{McColl/78b,
AUTHOR = {McColl, W.F.},
TITLE = {Complexity hierarchies for Boolean functions},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {1},
PAGES = {71-77},
YEAR = {1978},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=1&spage=71},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Studies, Univ. of Leeds, Leeds, England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ginsburg-Wood/78,
AUTHOR = {Ginsburg, S. and Wood, D.},
TITLE = {Precedence relations in grammar forms},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {1},
PAGES = {79-88},
YEAR = {1978},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=1&spage=79},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Univ. of Southern California, Los Angeles, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Greibach/78,
AUTHOR = {Greibach, S.A.},
TITLE = {Hierarchy theorems for two-way finite state transducers},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {1},
PAGES = {89-101},
YEAR = {1978},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=1&spage=89},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of System Sci., Univ. of California, Los Angeles, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Adams-Gelenbe-Vicard/79,
AUTHOR = {Adams, C. and Gelenbe, E. and Vicard, J.},
TITLE = {An experimentally validated model of the paging drum},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {2},
PAGES = {103-117},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=2&spage=103},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Univ. of Edinburgh, Edinburgh, Scotland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Jones/79,
AUTHOR = {Jones, C.B.},
TITLE = {Constructing a theory of a data structure as an aid to program development},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {2},
PAGES = {119-137},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=2&spage=119},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {IBM European Systems Res. Inst., Internat. Education Centre, La Hulpe, Belgium},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Arbib-Alagic/79,
AUTHOR = {Arbib, M.A. and Alagic, S.},
TITLE = {Proof rules for gotos},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {2},
PAGES = {139-148},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=2&spage=139},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer and Information Sci., Univ. of Massachusetts, Amherst, MA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Merzenich/79,
AUTHOR = {Merzenich, W.},
TITLE = {A binary operation on trees and an initial algebra characterization for finite tree types},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {2},
PAGES = {149-168},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=2&spage=149},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Abteilung Informatik, Univ. Dortmund, Dortmund, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Heilbrunner/79,
AUTHOR = {Heilbrunner, S.},
TITLE = {On the definition of ELR(k) and ELL(k) grammars},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {2},
PAGES = {169-176},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=2&spage=169},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Hochschule der Bundeswehr M{\"u}nchen, Neubiberg, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lalonde/79,
AUTHOR = {Lalonde, W.R.},
TITLE = {Constructing LR parsers for regular right part grammars},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {2},
PAGES = {177-193},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=2&spage=177},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Systems Engng. and Computing Sci., Carleton Univ., Ottawa, Canada},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Coleman-Hughes/79,
AUTHOR = {Coleman, D. and Hughes, J.W.},
TITLE = {The clean termination of PASCAL programs},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {3},
PAGES = {195-210},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=3&spage=195},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computation Dept., Inst. of Sci. and Technol., Univ. of Manchester, Manchester, England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Topor/79,
AUTHOR = {Topor, R.W.},
TITLE = {The correctness of the Schorr-Waite list marking algorithm},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {3},
PAGES = {211-221},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=3&spage=211},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Monash Univ., Clayton, Victoria, Australia},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gries/79,
AUTHOR = {Gries, D.},
TITLE = {The Schorr-Waite graph marking algorithm},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {3},
PAGES = {223-232},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=3&spage=223},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Cornell Univ., Ithaca, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Latteux/79b,
AUTHOR = {Latteux, M.},
TITLE = {Intersections of bounded algebraic languages},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {3},
PAGES = {233-240},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=3&spage=233},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Univ. de Lille I, Villeneuve d'Ascq, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Autebert/79,
AUTHOR = {Autebert, J.-M.},
TITLE = {Cylinder operations and inverse GSM mappings applications},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {3},
PAGES = {241-258},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=3&spage=241},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Lab. Informatique Theorique et Programmation, Univ. Paris Vi, Paris, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Asveld-Engelfriet/79,
AUTHOR = {Asveld, P.R.J. and Engelfriet, J.},
TITLE = {Extended linear macro grammars, iteration grammars, and register programs},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {3},
PAGES = {259-285},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=3&spage=259},
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{Hehner/79,
AUTHOR = {Hehner, E.C.R.},
TITLE = {Do considered od: a contribution to the programming calculus},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {4},
PAGES = {287-304},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=4&spage=287},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Systems Res. Group, Univ. of Toronto, Toronto, Ontario, Canada},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bouchet/79,
AUTHOR = {Bouchet, P.},
TITLE = {Recovery techniques for distributed database management systems},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {4},
PAGES = {305-340},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=4&spage=305},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Univ. Paris-Nord, Villetaneuse, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Unterauer/79,
AUTHOR = {Unterauer, K.},
TITLE = {Dynamic weighted binary search trees},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {4},
PAGES = {341-362},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=4&spage=341},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {SIEMENS AG, M{\"u}nchen, GERMANY},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kemp/79a,
AUTHOR = {Kemp, R.},
TITLE = {The average binary number of registers needed to evaluate a binary tree optimally},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {4},
PAGES = {363-372},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=4&spage=363},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Univ. des Saarlandes, Saarbr{\"u}cken, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{van_Leeuwen/79a,
AUTHOR = {van Leeuwen, J.},
TITLE = {A useful lemma for context-free programmed grammars},
JOURNAL = {Acta Inf.},
VOLUME = {11},
NUMBER = {4},
PAGES = {373-386},
YEAR = {1979},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=11&issue=4&spage=373},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Utrecht, Utrecht, Netherlands},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}