@article{Girard/87,
AUTHOR = {Girard, J.-Y.},
TITLE = {Linear logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {1},
PAGES = {1-102},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Paris VII Univ., France},
}
@article{Gray/87,
AUTHOR = {Gray, J.W.},
TITLE = {Categorical aspects of data type constructors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {2},
PAGES = {103-135},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math., Illinois Univ., Urbana-Champaign, IL, USA},
}
@article{Bergstra-Tucker/87,
AUTHOR = {Bergstra, J.A. and Tucker, J.V.},
TITLE = {Algebraic specifications of computable and semicomputable data types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {2},
PAGES = {137-181},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Amsterdam Univ., Netherlands},
}
@article{Mazoyer/87,
AUTHOR = {Mazoyer, J.},
TITLE = {A six-state minimal time solution to the firing squad synchronization problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {2},
PAGES = {183-238},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Inst. de Math. et d'Inf., Univ. Claude Bernard, Villeurbanne, France},
}
@article{Phillips/87,
AUTHOR = {Phillips, I.},
TITLE = {Refusal testing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {3},
PAGES = {241-284},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput., Imperial Coll. of Sci. \& Technol., London, UK},
}
@article{Sain/87,
AUTHOR = {Sain, I.},
TITLE = {Total correctness in nonstandard logics of programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {3},
PAGES = {285-321},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Math. Inst., Hungarian Acad. of Sci., Budapest, Hungary},
}
@article{Wagner-Ehrig/87,
AUTHOR = {Wagner, E.G. and Ehrig, H.},
TITLE = {Canonical constraints for parameterized data types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {3},
PAGES = {323-349},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math. Sci., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
}