Books	Journal articles	Conference contributions	ICS PAS reports	Unpublished	Software

	Books: Andrzej Borzyszkowski, Stefan Sokolowski Matematyczne podstawy informatyki (in Polish). Lecture Notes of the Franco-Polish School of New Information and Communication Technologies, ISBN 83-902650-4-4, 177 pages, September 1995. Not available on-line for copyright reasons; see its contents.
	Journal articles: Peter G. Larsen, Wieslaw Pawlowski The formal semantics of ISO VDM-SL. Computer Standards and Interfaces, pp. 585-601, Vol. 17, 1995.
	Conference contributions: Stefan Sokolowski, Philip Wadler Hindley-Milner for dependent and subset types. In Bror Bjerner, Marie Larsson, Bengt Nordstoem eds. Proc. 7th Nordic Workshop on Programming Theory, Goeteborg, Sweden, 1-3 November 1995, pages 438-453. Programming Methodology Group Report 86, Goeteborg Univ. and Chalmers Univ. of Technology, 1996. Marek A. Bednarczyk, Tomasz Borzyszkowski Towards program development, specification and verification with Isabelle. Proc. 1st Isabelle User Workshop, pp. 101-121, Cambridge, 1995. Also appeared in Partial correctness -- the single assertion approach (ed. Stefan Sokolowski), ICS PAS Report 800, pp. 99-121, January 1996. Wieslaw Pawlowski Context Institutions. In Magne Haveraaen and Olaf Owe and Ole-Johan Dahl, editors, Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types joint with the 8th general COMPASS workshop. Oslo, Norway, September 1995. Selected papers. LNCS, vol. 1130, pages 436-457, ©Springer-Verlag, 1996.
	ICS PAS reports: Marek A. Bednarczyk Logic of predicates versus linear logic. ICS PAS Report 795, 19 pages, December 1995. Andrzej M. Borzyszkowski Extending single assertion specification approach: Nondeterministic programs; total correctness. ICS PAS Report 790, November 1995. Stefan Sokolowski Internal and external maps of specification systems. ICS PAS Report 796, 8 pages, December 1995. Stefan Sokolowski The GDM approach to specifications and their realizations. Part I: Specification systems. ICS PAS Report 797, 64 pages, December 1995. Also submitted to Theoretical Computer Science.
	Unpublished: Marek A. Bednarczyk Logic of predicates with explicit substitutions. Submitted to a conference, 1995. Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski A Specification System for Parametric Concurrent Processes. December 1994, revised version: December 1995. Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski Specifying and Verifying Parametric Processes. December 1995. Ryszard Kubiak Analiza wlasciwosci kontynuacji wyzszych rzedow wystepujacych w semantyce kontynuacyjnej (An analysis of the properties of high order continuations occurring in the continuation semantics). Unpublished, 1995. Stefan Sokolowski Reusability support provided by various specification styles. Unpublished, 19 pages, February 1995.
	Software: Marek A. Bednarczyk, Tomasz Borzyszkowski Implementation of the programming logic pLSD in a generic theorem proving system Isabelle. Ryszard Kubiak Library of syntactic combinators applying the Haskell language's monad technique in syntax analysis.

To the home page of	ICS PAS Gdansk