@incollection{Lauer-Shields/79,
AUTHOR = {Lauer, P.E. and Shields, M.W.},
TITLE = {On the abstract specification and formal analysis of synchronization properties of concurrent systems},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {1-32},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Miller-Yap/79,
AUTHOR = {Miller, E. and Yap, C.K.},
TITLE = {On the formal specification and analysis of loosely connected processes},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {33-66},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik/79c,
AUTHOR = {Culik II, K.},
TITLE = {Synchronized parallel computation and slowdown of translators},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {67-105},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kurki-Suonio/79,
AUTHOR = {Kurki-Suonio, R.},
TITLE = {Nondeterminism, parallelism and intermittent assertions},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {106-126},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Yonezawa/79,
AUTHOR = {Yonezawa, A.},
TITLE = {A formal specification technique for abstract data types with parallelism},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {127-150},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=127},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Owicki/79,
AUTHOR = {Owicki, S.},
TITLE = {Verifying parallel programs with resource allocation},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {151-164},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kambayashi/79,
AUTHOR = {Kambayashi, Y.},
TITLE = {Equivalent key problem of the relational database model},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {165-192},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=165},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tanaka-Le-Viet-Kambayashi-Yajima/79,
AUTHOR = {Tanaka, K. and Le-Viet, Ch. and Kambayashi, Y. and Yajima, S.},
TITLE = {A file organization suitable for relational database operations},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {193-227},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=193},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blikle/79,
AUTHOR = {Blikle, A.},
TITLE = {Specified programming},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {228-251},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=228},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Loeckx-Glasner/79,
AUTHOR = {Loeckx, J. and Glasner, I.},
TITLE = {A calculus for proving properties of while-programs},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {252-281},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=252},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sugawara-Kawaguchi-Nishizawa/79,
AUTHOR = {Sugawara, K. and Kawaguchi, H. and Nishizawa, T.},
TITLE = {``E-correctness'' of a set of ``computation processes''},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {282-301},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=282},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goto/79,
AUTHOR = {Goto, S.},
TITLE = {Program synthesis through G{\"o}del's interpretation},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {302-325},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=302},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bjorner/79,
AUTHOR = {Bj{\"o}rner, D.},
TITLE = {The Vienna development method (VDM): Software specification \& program synthesis},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {326-359},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paul-Guntzer/79,
AUTHOR = {Paul, M. and G{\"u}ntzer, U.},
TITLE = {On a uniform formal description of data structures},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {360-383},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=360},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Anderson-Belz-Blum/79,
AUTHOR = {Anderson, E.R. and Belz, F.C. and Blum, E.K.},
TITLE = {Extending an implementation language to a specification language},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {384-424},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=384},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goguen/79,
AUTHOR = {Goguen, J.A.},
TITLE = {Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {425-473},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=425},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lamport/79,
AUTHOR = {Lamport, L.},
TITLE = {The specification and proof of correctness of interactive programs},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {474-537},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=474},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Langmaack/79,
AUTHOR = {Langmaack, H.},
TITLE = {On a theory of decision problems in programming languages},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {538-558},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=538},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Elgot/79,
AUTHOR = {Elgot, C.C.},
TITLE = {A representative strong equivalence class for accessible flowchart schemes},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {559-575},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=559},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cartwright-McCarthy/79,
AUTHOR = {Cartwright, R. and McCarthy, J.},
TITLE = {Recursive programs as functions in a first order theory},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {576-607},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=576},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}