Algebraic Specifications:Organised and focussed approach in software development
International journal of advanced computer science and applications/International journal of advanced computer science & applications