Bauer, Friedrich L. (ed.); Steinbruggen, Ralf (ed.) Foundations of secure computation. 20th international summer school, Marktoberdorf, Germany, July 27 – August 8, 1999. (English) Zbl 0963.00029 NATO ASI Series. Series F. Computer and Systems Sciences. 175. Amsterdam: IOS Press. Tokyo: Ohmsha. 320 p. (2000). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{F. L. Bauer} (ed.) and \textit{R. Steinbruggen} (ed.), Foundations of secure computation. 20th international summer school, Marktoberdorf, Germany, July 27 -- August 8, 1999. Amsterdam: IOS Press; Tokyo: Ohmsha (2000; Zbl 0963.00029)
Bauer, Friedrich L. (ed.); Brauer, Wilfried (ed.); Schwichtenberg, Helmut (ed.) Logic and algebra of specification. Proceedings of the NATO Advanced Study Institute, held in Marktoberdorf, Germany, July 23 - August 4, 1991. (English) Zbl 0818.68109 NATO ASI Series. Series F. Computer and Systems Sciences. Berlin: Springer-Verlag. VII, 442 p. (1993). Reviewer: G.Grigas (Vilnius) MSC: 68Q65 68N15 68Q55 68-06 PDFBibTeX XMLCite \textit{F. L. Bauer} (ed.) et al., Logic and algebra of specification. Proceedings of the NATO Advanced Study Institute, held in Marktoberdorf, Germany, July 23 - August 4, 1991. Berlin: Springer-Verlag (1993; Zbl 0818.68109)
Broy, Manfred (ed.) [Bauer, F. L.; Broy, M.; Dijkstra, E. W.; Hoare, C. A. R.] Logic of programming and calculi of discrete design. (Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986). International Summer School directed by F. L. Bauer, M. Broy, E. W. Dijkstra, C. A. R. Hoare. (English) Zbl 0619.00021 NATO ASI Series. Advanced Study Institutes Series. Series F: Computer and Systems Sciences, Vol. 36. Published in cooperation with NATO Scientific Affairs Division. Berlin etc.: Springer-Verlag. VII, 415 p.; DM 134.00 (1987). MSC: 00B25 68-06 PDFBibTeX XML