🚀 go-pugleaf

Hello,

I'am looking for some recent references on work about the 
_concrete_ integration of algebraic specification and functional 
programming.  I already know about [1][2][3][4], but this references 
are mostly older then 5 years, and morever, [1][3] are more general
then I would like to consider (i.e. meet of specification with 
imperative/process-oriented programming). 

To constraint the subject, I'am interested in:

o	a loose approach to specification, with full 1st order
	logic power and function spaces. 

o	an applicative approach to implementation which needs to
	be only in the behavioral loose model class of the 
	specification.

o	a real integration of both: i.e. not several loosely-related
	language layers.

I feel, that much {has,should have} been happened since CIP-L and
EXTENDED ML. 

Any pointers would be greatly appreciated. Of course, I summarize on
interest.

	Wolfgang Grieskamp


[1]	The CIP Language Group: The Munich CIP Project. LNCS 183 (1985).
[2]	Sannella, Tarlecki: "Program Specification and Development in
	Standard ML", 12th ACM Symposium on Principles of Programming
	Languages (1985).
[3]	Guttag: Larch in Five easy Pieces.  Digital Research Center, 
	Palo Alto, CA (1985).
[4]	Goguen, Winkler: Introducing OBJ3. SRI-CSL-88-9, SRI International,
	Computer Science Laboratory, CA 94025 (1988).


--
Wolfgang Grieskamp 
wg@opal.cs.tu-berlin.de tub!tubopal!wg wg%opal@DB0TUI11.BITNET