S. Poelmans Papers on DiSC'04 A Layered Software Specification Architecture Publications Note: Links lead to the DBLP on the Web. S. Poelmans Monique Snoeck , S. Poelmans, Guido Dedene : A Layered Software Specification Architecture. ER 2000 : 454-469 1 [ 1 ] 2 [ 1 ] ©2004 Association for Computing Machinery