Peiya Liu Ken Hampel Arding Hsu Towards Automating the Creation of Hypermedia Service Manuals by Compiling Specifications. 203-212 1994 ICMCS db/conf/icmcs/icmcs94.html#LiuHH94