A specification/prototyping language. Implemented in {Franz Lisp}. . ["Software Prototyping, Formal Methods and VDM", Sharam Hekmatpour et al, A-W 1988].

In addition suitable contents:
[ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ at ] [ ca ] [ cat ] [ ci ] [ D ] [ ec ] [ ed ] [ et ] [ fi ] [ Franz Lisp ] [ ge ] [ gu ] [ h ] [ hr ] [ in ] [ io ] [ is ] [ jp ] [ km ] [ ky ] [ la ] [ language ] [ Lisp ] [ M ] [ ma ] [ Methods ] [ mp ] [ ng ] [ nz ] [ pe ] [ ping ] [ pl ] [ pr ] [ prototyping ] [ re ] [ ro ] [ S ] [ spec ] [ specification ] [ su ] [ th ] [ to ] [ tp ] [ tw ] [ ua ] [ V ] [ VDM ]